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

Modifier	Constructor	Description
	NumberTerm(NumberTerm other)	Copy-Ctor: Creates a deep copy of the given NumberTerm