public class DecreasingTrapezoidalFunction extends TrapezoidalFunction
Constructor and Description |
---|
DecreasingTrapezoidalFunction(double c,
double d) |
DecreasingTrapezoidalFunction(java.lang.String name,
double c,
double d) |
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 DecreasingTrapezoidalFunction(java.lang.String name, double c, double d)
public DecreasingTrapezoidalFunction(double c, double d)
public java.lang.String toString()
toString
in class TrapezoidalFunction