|
LogiXpr
|
This is the complete list of members for EquivLaws, including all inherited members.
| absorption(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| associative(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| associativeReversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication0(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication0Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication1(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication2(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication2Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication3(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication3Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication4(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplication4Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| bidirectionalImplications | EquivLaws | static |
| commutative(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| deMorgan(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| deMorganReversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| distributive(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| distributiveReversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| domination(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| doubleNegation(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| EquivLaw typedef | EquivLaws | |
| idempotent(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| identity(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication0(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication0Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication1(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication1Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication2(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication2Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication3(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication3Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication4(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication4Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication5(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication5Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication6(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication6Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication7(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication7Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication8(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implication8Reversed(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| implications | EquivLaws | static |
| laws | EquivLaws | static |
| negation(std::shared_ptr< Expression > &expression) | EquivLaws | static |
| replace(std::shared_ptr< Expression > &expression, std::shared_ptr< Expression > newExpression) | EquivLaws | static |
1.9.8