|
||||||||||
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 |