sdd

Class Variable

java.lang.Object

sdd.Variable

All Implemented Interfaces:

java.lang.Comparable<Variable>

public final class Variable
extends java.lang.Object
implements java.lang.Comparable<Variable>

A Variable, i.e., a variable, represents a propositional variable, i.e., a variable which can be assigned to true or false.

Constructor Summary

Constructors

Constructor and Description
Variable() Creates a new variable with name x_nb where nb is some number.

Method Summary

Methods

Modifier and Type	Method and Description
int	compareTo(Variable var)
boolean	equals(java.lang.Object o)
java.lang.String	getName() Returns the name of this variable.
int	hashCode()
void	setName(java.lang.String nm) Sets the name of this variable.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Variable

public Variable()

Creates a new variable with name x_nb where nb is some number.

Method Detail

setName

public void setName(java.lang.String nm)

Sets the name of this variable. Beware that nothing prevents several variables from having the same name. The names of a variable can only be assigned through the constructor Variable() and this method.

Parameters:

nm - the new name of this variable.

getName

public java.lang.String getName()

Returns the name of this variable. Using this name as a key is a bad practice.

Returns:

the name of this variable.

See Also:

setName(java.lang.String)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(Variable var)

Specified by:

compareTo in interface java.lang.Comparable<Variable>