|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectlij.model.Term
public class Term
A Term is a definition of the form a(x, y, z, ...) a is the name of the term, and x, y, z, ... are the arguments. A way to envision this is a Java method call, such as add(a, b)
Field Summary | |
---|---|
private java.util.ArrayList<Argument> |
arguments
|
private java.lang.String |
name
|
Constructor Summary | |
---|---|
Term(java.lang.String _name)
Constructor. |
|
Term(java.lang.String _name,
java.util.ArrayList<Argument> _terms)
Constructor. |
Method Summary | |
---|---|
java.lang.Object |
clone()
|
boolean |
equals(java.lang.Object other)
|
private boolean |
equalsForArgument(Argument arg1,
Argument arg2)
This method performs an equality check between two terms' arguments. |
java.util.ArrayList<Argument> |
getArguments()
Accessor. |
java.lang.String |
getName()
Accessor. |
int |
hashCode()
|
private int |
hashCodeForArgument(Argument argument)
Returns a hashcode for the specified Argument. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private java.lang.String name
private java.util.ArrayList<Argument> arguments
Constructor Detail |
---|
public Term(java.lang.String _name)
_name
- The name constant of the term.public Term(java.lang.String _name, java.util.ArrayList<Argument> _terms)
_name
- The name constant of the term._terms
- The arguments of the term.Method Detail |
---|
public java.lang.String getName()
public java.util.ArrayList<Argument> getArguments()
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
private boolean equalsForArgument(Argument arg1, Argument arg2)
arg1
- The first Argument to compare.arg2
- The second Argument to compare.
public int hashCode()
hashCode
in class java.lang.Object
private int hashCodeForArgument(Argument argument)
argument
- The Argument object.
public java.lang.Object clone()
clone
in interface Argument
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |