|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Equivalence | |
---|---|
org.omwg.logicalexpression | |
org.wsmo.factory |
Uses of Equivalence in org.omwg.logicalexpression |
---|
Methods in org.omwg.logicalexpression with parameters of type Equivalence | |
---|---|
void |
Visitor.visitEquivalence(Equivalence expr)
|
Uses of Equivalence in org.wsmo.factory |
---|
Methods in org.wsmo.factory that return Equivalence | |
---|---|
Equivalence |
LogicalExpressionFactory.createEquivalence(LogicalExpression exprLeft,
LogicalExpression exprRight)
Creates a Equivalence implication (e.g. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |