tuffy.mln
Class Term
java.lang.Object
tuffy.mln.Term
public class Term
- extends java.lang.Object
A term in first-order logic; either a variable or a constant.
Constructor Summary |
Term(java.lang.Integer cid)
Constructor a Term (constant version). |
Term(java.lang.String var)
Constructor of Term (variable version). |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
isOriAConstant
public boolean isOriAConstant
oriConstantID
public int oriConstantID
Term
public Term(java.lang.Integer cid)
- Constructor a Term (constant version).
- Parameters:
cid
- the constant in the form of its integer ID
Term
public Term(java.lang.String var)
- Constructor of Term (variable version).
- Parameters:
var
- name of the variable
constant
public int constant()
- Returns:
- The name of this term, which is null when it is
a variable.
isConstant
public boolean isConstant()
- Returns:
- Whether this term is a constant.
isVariable
public boolean isVariable()
- Return whether this term is a variable.
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
- Returns:
- This term's human-friendly representation.
var
public java.lang.String var()
- Returns:
- The name of this term, which is null when it is
a constant.