mln
Class Term

java.lang.Object
  extended by 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).
 
Method Summary
 int constant()
           
 boolean isConstant()
           
 boolean isVariable()
          Return whether this term is a variable.
 java.lang.String toString()
           
 java.lang.String var()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

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
Method Detail

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.