public class Term
implements Serializable
Class for the definition a Term. Term managing all the functions for Terms.
Term essentially is a String that can be:
private java.lang.String term
public Term (java.lang.String t)
Constructor.
Called by:
Parameters:
public static java.util.ArrayList<Term> applySubstiution (java.util.ArrayList<Term> terms, java.util.HashMap<Term,Term> substitution)
Apply to the terms substitution.
Parameters:
Returns:
public static Term applySubstiution (Term term, java.util.HashMap<Term,Term> substitution)
Apply to a term substitution.
Parameters:
Returns:
public static boolean isVariable ()
Check if the term is a variable.
Returns:
public static boolean isConstant ()
Check if the term is a constant.
Returns:
@Override public boolean equals (Object o)
Implementation for checking the equality for Term
Returns:
@Override public String toString ()
Implementation for converting in String format Term.
This because it has to be respect the variable or constant format.
Returns:
public java.lang.getTerm() public void setTerm(java.lang.String term)