Term

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:

• Variable → It must start with an upper case character (e.g. X, Y, Z)
• Constant → It must be define inside single quotes (e.g. 'Florence', 'florence')

private java.lang.String term

public Term (java.lang.String t)

Constructor.

Called by:

• it.unibz.inf.magik.core.Atom
• it.unibz.inf.magik.core.TCSuggestions
• it.unibz.inf.magik.core.AuxiliaryFunctions
• it.unibz.inf.magik.additional.Comparison
• it.unibz.inf.magik.test.TestAtomClass
• it.unibz.inf.magik.test.TestTCQCReasonerBlackWhiteExample
• it.unibz.inf.magik.test.TestTCQCReasonerPlainCompanyEx
• it.unibz.inf.magik.test.TestTermClass
• it.unibz.inf.magik.test.TestTCQCReasonerUnderFC

Parameters:

• t - term

public static java.util.ArrayList<Term> applySubstiution (java.util.ArrayList<Term> terms, 
                                                          java.util.HashMap<Term,Term> substitution) 

Apply to the terms substitution.

Parameters:

• terms - original terms
• substitution - terms that has to be substitute

Returns:

• java.util.ArrayList<Term> of the substituted terms

public static Term applySubstiution (Term term, 
                                     java.util.HashMap<Term,Term> substitution) 

Apply to a term substitution.

Parameters:

• term - original term
• substitution - terms that has to be substitute

Returns:

• term with substitutions

public static boolean isVariable () 

Check if the term is a variable.

Returns:

• true, if the term is a variable, false otherwise

public static boolean isConstant () 

Check if the term is a constant.

Returns:

• true, if the term is a constant, false otherwise

@Override
public Object clone () 

Returns:

• cloned object (Term type)

@Override
public boolean equals (Object o) 

Implementation for checking the equality for Term

Returns:

• true if equal, false otherwise

@Override
public String toString () 

Implementation for converting in String format Term.
This because it has to be respect the variable or constant format.

Returns:

• String version of the Term

public java.lang.getTerm() 
public void setTerm(java.lang.String term) 

Back to Top | Back to Home Page