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.\\ {{ :magik-demo:developer:schema2.png?nolink&600 |}} 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 ---- ==== clone ==== <code java> @Override public Object clone () </code> **Returns:** * cloned object (Term type) ---- ==== equals ==== <code java> @Override public boolean equals (Object o) </code> Implementation for checking the equality for Atom **Returns:** * //true// if equal, //false// otherwise ---- ==== toString ==== <code java> @Override public String toString () </code> Implementation for converting in String format Atom. **Returns:** * String version of the atom ---- ==== getters and setters methods ====
