Create a new constant term on a object.
[Prova] Made public to be callable from ws.prova.reference.ResolutionInferenceEngine5
Parameters: o - an object
Create a new constant term on a object.
Parameters: o - an object Parameters: t - the type of the object throws: an - illegal argument exception is thrown if o is not an instance of t
Indicates whether the term contains the provided variable term.
true if the term contains the variable term provided, false otherwise Parameters: var - a variable term
Indicates whether the object (usually a term or a clause set) can be performed
using the java semantics. Constant terms do support the java semantics!
true
Set the object.
Parameters: obj - the object that is to be wrapped throws: an - illegal argument exception is thrown if the object is not an instance ofthe type previously set using setType()
Set the type.
Parameters: t - the type throws: an - illegal argument exception is thrown if the object previously set using setObject() is not an instance ofthe type