Package | Description |
---|---|
jason.asSyntax |
Modifier and Type | Method and Description |
---|---|
LogExpr.LogicalOp |
LogExpr.getOp()
gets the Operation of this Expression
|
static LogExpr.LogicalOp |
LogExpr.LogicalOp.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static LogExpr.LogicalOp[] |
LogExpr.LogicalOp.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
LogExpr(LogExpr.LogicalOp oper,
LogicalFormula f) |
LogExpr(LogicalFormula f1,
LogExpr.LogicalOp oper,
LogicalFormula f2) |