model.logic
Class Variable

java.lang.Object
  model.logic.Variable

public class Variable
extends java.lang.Object

This class represents the concept of variable as it is seen in propositional logic. A variable has a name and an unique id.

Author:

stephanieroussel

Constructor Summary

Variable(java.lang.String name, int id)

Method Summary

int	getId()
java.lang.String	getName()
void	setId(int id)
void	setName(java.lang.String name)
java.lang.String	toLongString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Variable

public Variable(java.lang.String name,
                int id)

Method Detail

getName

public java.lang.String getName()

setName

public void setName(java.lang.String name)

getId

public int getId()

setId

public void setId(int id)

toLongString

public java.lang.String toLongString()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object