Package | Description |
---|---|
net.sf.tweety.math.term |
Modifier and Type | Method and Description |
---|---|
Sum |
Term.add(Term t)
Returns the sum of this and the given term.
|
Sum |
Variable.toLinearForm() |
Sum |
FunctionalTerm.toLinearForm() |
abstract Sum |
Term.toLinearForm()
Converts this term into a linear normal form, i.e.
|
Sum |
Product.toLinearForm() |
Sum |
Difference.toLinearForm() |
Sum |
Minimum.toLinearForm() |
Sum |
Sum.toLinearForm() |
Sum |
Maximum.toLinearForm() |
Sum |
Fraction.toLinearForm() |
Sum |
Constant.toLinearForm() |