Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Class TermSpec

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec

All Implemented Interfaces:

LogicElementSpec

Direct Known Subclasses:

ConstantSpec, VariableSpec

public abstract class TermSpec
extends Object
implements LogicElementSpec

Specification of a term. E.g., specification of a constant, or a term.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TermSpec(String name)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
String	getName()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Details

TermSpec

protected TermSpec(String name)

Method Details

getName

public String getName()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object