|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Unary | |
|---|---|
| org.omwg.logicalexpression | |
| Uses of Unary in org.omwg.logicalexpression |
|---|
| Subinterfaces of Unary in org.omwg.logicalexpression | |
|---|---|
interface |
Constraint
This interface stand for a specific kind of Unary,
a contraint. |
interface |
ExistentialQuantification
This interface represents quantified logical expressions, i.e. |
interface |
Negation
This interface stand for a specific kind of Unary,
a negation. |
interface |
NegationAsFailure
|
interface |
Quantified
This interface represents quantified logical expressions, i.e. |
interface |
UniversalQuantification
This interface represents quantified logical expressions, i.e. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||