Uses of Interface
scphEditor.IOperator

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.