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