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