/** * Test if a variable is contained in the expression. * @param var The variable. * @return True, when the variable is contained. */ public boolean containsVariable(Variable var) { return var.equals(variable); }
/** * Test if a variable is contained in the expression. * @param var The variable. * @return True, when the variable is contained. */ public boolean containsVariable(Variable var) { return var.equals(variable); }
/** * Test if a variable is contained in the expression. * @param var The variable. * @return True, when the variable is contained. */ public boolean containsVariable(Variable var) { return var.equals(variable); }
/** * Test if a variable is contained in the expression. * @param var The variable. * @return True, when the variable is contained. */ public boolean containsVariable(Variable var) { return var.equals(variable); }
/** * Test if this variable is equal to some object. */ public boolean equals(Object o) { return o instanceof VariableExpression && ((VariableExpression)o).getVariable().equals(getVariable()); }
/** * Test if this variable is equal to some object. */ public boolean equals(Object o) { return o instanceof VariableExpression && ((VariableExpression)o).getVariable().equals(getVariable()); }
/** * Test if this object is equal to some object. */ public boolean equals(Object o) { return o instanceof ExistentialDeclaration && ((ExistentialDeclaration)o).getType().equals(getType()) && ((ExistentialDeclaration)o).getVariable().equals(getVariable()); }
/** * Test if this object is equal to some object. */ public boolean equals(Object o) { return o instanceof ExistentialDeclaration && ((ExistentialDeclaration)o).getType().equals(getType()) && ((ExistentialDeclaration)o).getVariable().equals(getVariable()); }
if(var.equals(Variable.STATE))
if(var.equals(Variable.STATE))