Frobby  0.9.0
Public Member Functions | Private Member Functions | Private Attributes | List of all members
DoubleLcmPredicate Class Reference

Public Member Functions

 DoubleLcmPredicate (const Term &lcm)
 
bool operator() (const Exponent *term)
 

Private Member Functions

void operator= (const DoubleLcmPredicate &)
 

Private Attributes

const Term_lcm
 

Detailed Description

Definition at line 171 of file MsmSlice.cpp.

Constructor & Destructor Documentation

DoubleLcmPredicate::DoubleLcmPredicate ( const Term lcm)
inline

Definition at line 173 of file MsmSlice.cpp.

Member Function Documentation

bool DoubleLcmPredicate::operator() ( const Exponent term)
inline

Definition at line 177 of file MsmSlice.cpp.

void DoubleLcmPredicate::operator= ( const DoubleLcmPredicate )
private

Member Data Documentation

const Term& DoubleLcmPredicate::_lcm
private

Definition at line 192 of file MsmSlice.cpp.


The documentation for this class was generated from the following file: