|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of IOperator in scphEditor |
---|
Classes in scphEditor that implement IOperator | |
---|---|
class |
DefaultOperator
DefaultOperator provides a default implementation of the IOperator interface. |
class |
Identifier
This class models terminal expressions, such as variables and constants like x and 10. |
class |
Variable
|
Fields in scphEditor declared as IOperator | |
---|---|
protected IOperator |
Expression.op
[Rooting] Operator in this expression. |
Methods in scphEditor that return IOperator | |
---|---|
static IOperator |
OperatorStore.getById(java.lang.String id)
Retrieve an operator by internal identifier. |
static IOperator |
OperatorStore.getByProverName(java.lang.String proverName)
Retrieve an operator by a prover-side name. |
IOperator |
Expression.getOperator()
Gives the operator of this expression. |
IOperator |
Identifier.getOperator()
Gives the operator in this identifier operand, which is the identifier itself. |
abstract IOperator |
Operand.getOperator()
Gives the operator in this subexpression. |
Constructors in scphEditor with parameters of type IOperator | |
---|---|
Expression(IOperator opOf)
Constructs an Expression object with the given operator. |
|
ExpressionNary(IOperator opOf)
Constructs an n-ary Expression object with the given operator. |
|
ExpressionNary(IOperator opOf,
int n)
Constructs an n-ary Expression object with the given operator. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |