COPASI API
4.16.103
|
#include <CNormalLogicalItem.h>
Public Types | |
enum | Type { TRUE, FALSE, EQ, NE, LT, GT, GE, LE, INVALID } |
Public Member Functions | |
CNormalLogicalItem () | |
CNormalLogicalItem (const CNormalLogicalItem &src) | |
virtual CNormalBase * | copy () const |
CNormalFraction & | getLeft () |
const CNormalFraction & | getLeft () const |
CNormalFraction & | getRight () |
const CNormalFraction & | getRight () const |
Type | getType () const |
void | negate () |
bool | operator< (const CNormalLogicalItem &rhs) const |
CNormalLogicalItem & | operator= (const CNormalLogicalItem &src) |
bool | operator== (const CNormalLogicalItem &rhs) const |
bool | setLeft (const CNormalFraction &left) |
bool | setRight (const CNormalFraction &right) |
void | setType (Type type) |
virtual bool | simplify () |
virtual std::string | toString () const |
virtual | ~CNormalLogicalItem () |
![]() | |
virtual bool | areEqual (const CNormalBase &rhs) const |
virtual | ~CNormalBase () |
Protected Attributes | |
CNormalFraction | mLeft |
CNormalFraction | mRight |
Type | mType |
Definition at line 22 of file CNormalLogicalItem.h.
Enumerator | |
---|---|
TRUE | |
FALSE | |
EQ | |
NE | |
LT | |
GT | |
GE | |
LE | |
INVALID |
Definition at line 25 of file CNormalLogicalItem.h.
CNormalLogicalItem::CNormalLogicalItem | ( | ) |
Definition at line 24 of file CNormalLogicalItem.cpp.
Referenced by copy().
CNormalLogicalItem::CNormalLogicalItem | ( | const CNormalLogicalItem & | src | ) |
Definition at line 27 of file CNormalLogicalItem.cpp.
|
virtual |
Definition at line 30 of file CNormalLogicalItem.cpp.
|
virtual |
Implements CNormalBase.
Definition at line 62 of file CNormalLogicalItem.cpp.
References CNormalLogicalItem().
CNormalFraction & CNormalLogicalItem::getLeft | ( | ) |
Definition at line 126 of file CNormalLogicalItem.cpp.
References mLeft.
Referenced by convertToCEvaluationNode(), and normalize_variable_names().
const CNormalFraction & CNormalLogicalItem::getLeft | ( | ) | const |
CNormalFraction & CNormalLogicalItem::getRight | ( | ) |
Definition at line 136 of file CNormalLogicalItem.cpp.
References mRight.
Referenced by convertToCEvaluationNode(), and normalize_variable_names().
const CNormalFraction & CNormalLogicalItem::getRight | ( | ) | const |
CNormalLogicalItem::Type CNormalLogicalItem::getType | ( | ) | const |
Definition at line 166 of file CNormalLogicalItem.cpp.
References mType.
Referenced by convertToCEvaluationNode(), CNormalLogical::eliminateNullItems(), and CNormalLogical::simplify().
void CNormalLogicalItem::negate | ( | ) |
Definition at line 192 of file CNormalLogicalItem.cpp.
References EQ, FALSE, GE, GT, INVALID, LE, LT, mType, NE, and TRUE.
Referenced by CNormalLogical::eliminateNullItems(), CNormalLogical::generateCanonicalDNF(), and CNormalLogical::simplify().
bool CNormalLogicalItem::operator< | ( | const CNormalLogicalItem & | rhs | ) | const |
CNormalLogicalItem & CNormalLogicalItem::operator= | ( | const CNormalLogicalItem & | src | ) |
bool CNormalLogicalItem::operator== | ( | const CNormalLogicalItem & | rhs | ) | const |
bool CNormalLogicalItem::setLeft | ( | const CNormalFraction & | left | ) |
Definition at line 146 of file CNormalLogicalItem.cpp.
References FALSE, mLeft, mType, and TRUE.
Referenced by createLogicalItem().
bool CNormalLogicalItem::setRight | ( | const CNormalFraction & | right | ) |
Definition at line 156 of file CNormalLogicalItem.cpp.
References FALSE, mRight, mType, and TRUE.
Referenced by createLogicalItem().
void CNormalLogicalItem::setType | ( | CNormalLogicalItem::Type | type | ) |
Definition at line 171 of file CNormalLogicalItem.cpp.
References FALSE, mLeft, mRight, mType, and TRUE.
Referenced by createLogicalItem(), CNormalLogical::eliminateNullItems(), and CNormalLogical::simplify().
|
virtual |
Implements CNormalBase.
Definition at line 102 of file CNormalLogicalItem.cpp.
References GE, GT, LE, LT, mLeft, mRight, mType, and CNormalFraction::simplify().
Referenced by CNormalLogical::eliminateNullItems(), and CNormalLogical::generateCanonicalDNF().
|
virtual |
Implements CNormalBase.
Definition at line 67 of file CNormalLogicalItem.cpp.
References EQ, FALSE, GE, GT, INVALID, LE, LT, mLeft, mRight, mType, NE, and TRUE.
Referenced by operator<<().
|
protected |
Definition at line 40 of file CNormalLogicalItem.h.
Referenced by getLeft(), operator<(), operator=(), operator==(), setLeft(), setType(), simplify(), and toString().
|
protected |
Definition at line 41 of file CNormalLogicalItem.h.
Referenced by getRight(), operator<(), operator=(), operator==(), setRight(), setType(), simplify(), and toString().
|
protected |
Definition at line 39 of file CNormalLogicalItem.h.
Referenced by getType(), negate(), operator<(), operator=(), operator==(), setLeft(), setRight(), setType(), simplify(), and toString().