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 =====
