Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Class Term

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term

Direct Known Subclasses:

Constant, Variable

public abstract class Term
extends Object

Implementation of a logic Term. A Term is either a Variable or a Constant. E.g.: variable "x", constant "1" The distinction between Variables and Users is done through the subclass This class is a ValueObject. Hence, the same Term can be safely reused among several Atoms, or Built-in literals.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Term(String name)

Method Summary

Modifier and Type	Method	Description
abstract <T> T	accept(LogicSchemaVisitor<T> visitor)
abstract Term	applySubstitution(Substitution substitution)
boolean	equals(Object o)
String	getName()
int	hashCode()
boolean	isConstant()
boolean	isVariable()

Methods inherited from class java.lang.Object

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

Constructor Details

Term

protected Term(String name)

Method Details

getName

public String getName()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

applySubstitution

public abstract Term applySubstitution(Substitution substitution)

isVariable

public boolean isVariable()

isConstant

public boolean isConstant()

accept

public abstract <T> T accept(LogicSchemaVisitor<T> visitor)