public abstract class Degree
extends java.lang.Object
Constructor and Description |
---|
Degree() |
Modifier and Type | Method and Description |
---|---|
abstract Expression |
addToExpression(Expression expr)
Adds the degree to an expression.
|
abstract Inequation |
createInequalityWithDegreeRHS(Expression expr,
char inequationType)
Gets an inequality of the form (expression, type, degree).
|
abstract boolean |
equals(Degree d) |
static Degree |
getDegree(java.lang.Double numeric)
Constructor for a numeric degree.
|
static Degree |
getDegree(Expression expr)
Constructor for an expression degree.
|
static Degree |
getDegree(Variable variable)
Constructor for a variable degree.
|
abstract boolean |
isNumeric()
Checks if the object is a numeric degree.
|
abstract Expression |
multiplyConstant(java.lang.Double constant)
Multiplies the degree and a real number.
|
abstract Expression |
subtractFromExpression(Expression expr)
Subtracts the degree to an expression.
|
abstract java.lang.String |
toString()
Gets the name of the degree.
|
public static Degree getDegree(java.lang.Double numeric)
numeric
- A double number in [0,1].public static Degree getDegree(Variable variable)
variable
- A variable.public static Degree getDegree(Expression expr)
expr
- An expression.public abstract boolean isNumeric()
public abstract Inequation createInequalityWithDegreeRHS(Expression expr, char inequationType)
expr
- An expression.inequationType
- A type of inequality.public abstract Expression addToExpression(Expression expr)
expr
- An expression.public abstract Expression subtractFromExpression(Expression expr)
expr
- An expression.public abstract Expression multiplyConstant(java.lang.Double constant)
constant
- A real number.public abstract java.lang.String toString()
toString
in class java.lang.Object
public abstract boolean equals(Degree d)