User Tools
This is an old revision of the document!
====== 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') ===== Class Attributes ===== <code java> private java.lang.String term </code> ===== Class Constructor ===== ==== Term ==== <code java> public Term (java.lang.String t) </code> 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 ===== Class Methods ===== ==== applySubstitution ==== <code java> public static java.util.ArrayList<Term> applySubstiution (java.util.ArrayList<Term> terms, java.util.HashMap<Term,Term> substitution) </code> 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 ---- ==== applySubstitution ==== <code java> public static Term applySubstiution (Term term, java.util.HashMap<Term,Term> substitution) </code> Apply to a term substitution.\\ **Parameters:** * term - original term * substitution - terms that has to be substitute **Returns:** * term with substitutions ---- ==== isVariable ==== <code java> public static boolean isVariable () </code> Check if the term is a variable.\\ **Returns:** * true, if the term is a variable, false otherwise ---- ==== isConstant ==== <code java> public static boolean isConstant () </code> Check if the term is a constant.\\ **Returns:** * true, if the term is a constant, false otherwise ----
