public class IncreasingTrapezoidalFunction extends TrapezoidalFunction
Constructor and Description |
---|
IncreasingTrapezoidalFunction(double a,
double b) |
IncreasingTrapezoidalFunction(java.lang.String name,
double a,
double b) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
get_lower_bound, get_upper_bound, getName, is_decreasing, is_increasing, mu, mu, print, setName, translator_query_test
public IncreasingTrapezoidalFunction(java.lang.String name, double a, double b)
public IncreasingTrapezoidalFunction(double a, double b)
public java.lang.String toString()
toString
in class TrapezoidalFunction