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)
Checks if two degrees are equal.
|
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 final Degree ONE
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.Objectpublic abstract boolean equals(Degree d)
d - A degree.