Class AbsoluteValue

java.lang.Object

public class AbsoluteValue extends FunctionalTerm
This class models the absolute value of the inner term.
Author:
Matthias Thimm