ognjen.savkovic@wikispace

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== 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 Term

**Returns:**
  * //true// if equal, //false// otherwise


----

==== toString ====
<code java>
@Override
public String toString () 
</code>

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

----

==== getters and setters methods ====
<code java>
public java.lang.getTerm() 
public void setTerm(java.lang.String term) 
</code>

[[magik-demo:developer:class:core:term|Back to Top]] | [[magik-demo:start|Back to Home Page]]
ognjen.savkovic@wikispace

User Tools

Site Tools

Page Tools
