Uses of Class
net.sf.tweety.logics.commons.syntax.NumberTerm
-
Packages that use NumberTerm Package Description net.sf.tweety.logics.commons.syntax -
-
Uses of NumberTerm in net.sf.tweety.logics.commons.syntax
Methods in net.sf.tweety.logics.commons.syntax that return NumberTerm Modifier and Type Method Description NumberTerm
NumberTerm. clone()
Constructors in net.sf.tweety.logics.commons.syntax with parameters of type NumberTerm Constructor Description NumberTerm(NumberTerm other)
Copy-Ctor: Creates a deep copy of the given NumberTerm
-