edu.toronto.cs.expr
Class VariableOp

java.lang.Object
  extended by edu.toronto.cs.expr.NullaryOperator
      extended by edu.toronto.cs.expr.VariableOp
All Implemented Interfaces:
Operator

public class VariableOp
extends NullaryOperator


Constructor Summary
VariableOp(java.lang.String _name)
           
 
Method Summary
 boolean equals(java.lang.Object v)
           
 int hashCode()
           
 java.lang.String name()
          Name of this operator
static java.lang.String varName(Expr expr)
           
 
Methods inherited from class edu.toronto.cs.expr.NullaryOperator
arity, isWellFormed
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

VariableOp

public VariableOp(java.lang.String _name)
Method Detail

name

public java.lang.String name()
Description copied from interface: Operator
Name of this operator

Returns:
a String value

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object v)
Overrides:
equals in class java.lang.Object

varName

public static final java.lang.String varName(Expr expr)