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 and Description
NumberTerm	NumberTerm.clone()

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type NumberTerm

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