techniques.PL
Class Variable

java.lang.Object
  |
  +--techniques.PL.Sentence
        |
        +--techniques.PL.Variable

All Implemented Interfaces:

java.lang.Cloneable

public class Variable

extends Sentence

Represents an atomic variable. Variables are named with single characters.

Constructor Summary

Variable(char symbol)           Constructs a Variable with name symbol.

 

Method Summary
java.lang.Object	clone()           Sentences perform a deep copy when cloning.
boolean	equals(java.lang.Object o)           Variables are considered equal if they were constructed with the same name.
java.util.Set	getVariables()           Returns the set of all Variables appearing in this Sentence.
int	hashCode()
java.lang.Boolean	isSatisfied(Interpretation interpretation)           Evaluates the truth value of this Sentence under interpretation.
java.lang.String	toString()

 

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

 

Constructor Detail

Variable

public Variable(char symbol)

Constructs a Variable with name symbol.

equals

public boolean equals(java.lang.Object o)

Variables are considered equal if they were constructed with the same name.

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getVariables

public java.util.Set getVariables()

Description copied from class: Sentence

Returns the set of all Variables appearing in this Sentence.

Overrides:

getVariables in class Sentence

isSatisfied

public java.lang.Boolean isSatisfied(Interpretation interpretation)

Description copied from class: Sentence

Evaluates the truth value of this Sentence under interpretation. If the truth value of the sentence is undetermined by interpretation, returns null.

Overrides:

isSatisfied in class Sentence

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

clone

public java.lang.Object clone()

Description copied from class: Sentence

Sentences perform a deep copy when cloning.

Overrides:

clone in class Sentence