public abstract class DefaultBtrpOperand extends Object implements BtrpOperand
BtrpOperand.Type| Constructor and Description |
|---|
DefaultBtrpOperand() |
| Modifier and Type | Method and Description |
|---|---|
BtrpOperand |
div(BtrpOperand other)
Divides this operand by another one.
|
BtrpNumber |
eq(BtrpOperand other)
Check if this operand is equals to another one.
|
BtrpNumber |
geq(BtrpOperand other)
Check if this operand is greater or equals to another one.
|
BtrpNumber |
gt(BtrpOperand other)
Check if this operand is strictly greater than another one.
|
String |
label()
Get the label of the operand.
|
BtrpOperand |
minus(BtrpOperand other)
Computes the difference between this operand and another one.
|
BtrpOperand |
negate()
Computes the negation of this operand.
|
BtrpOperand |
not()
Compute the opposite of the operand.
|
BtrpOperand |
plus(BtrpOperand other)
Computes the addition of this operand with another one.
|
BtrpOperand |
power(BtrpOperand nb)
Computes the power of this operand.
|
String |
prettyType()
Pretty textual representation of the element type.
|
static String |
prettyType(BtrpOperand o)
Generate a pretty type for an operand.
|
static String |
prettyType(int degree,
BtrpOperand.Type t)
Pretty textual representation of a given element type.
|
BtrpOperand |
remainder(BtrpOperand other)
Computes the remainder of this operand division by another one
|
void |
setLabel(String lbl)
Set the label of the operand.
|
BtrpOperand |
times(BtrpOperand other)
Multiply this operand by another one
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitdegree, typepublic String label()
BtrpOperandlabel in interface BtrpOperandnull otherwisepublic void setLabel(String lbl)
BtrpOperandsetLabel in interface BtrpOperandlbl - the label to usepublic BtrpOperand not()
BtrpOperandnot in interface BtrpOperandpublic BtrpOperand power(BtrpOperand nb)
BtrpOperandpower in interface BtrpOperandnb - the power coefficient. Must be strictly positivepublic BtrpOperand plus(BtrpOperand other)
BtrpOperandplus in interface BtrpOperandother - the other operandpublic BtrpOperand minus(BtrpOperand other)
BtrpOperandminus in interface BtrpOperandother - the other operandpublic BtrpOperand negate()
BtrpOperandnegate in interface BtrpOperandpublic BtrpOperand times(BtrpOperand other)
BtrpOperandtimes in interface BtrpOperandother - the other operandpublic BtrpOperand div(BtrpOperand other)
BtrpOperanddiv in interface BtrpOperandother - the other operandpublic BtrpOperand remainder(BtrpOperand other)
BtrpOperandremainder in interface BtrpOperandother - the other operandpublic BtrpNumber eq(BtrpOperand other)
BtrpOperandeq in interface BtrpOperandother - the operand to compare toBtrpNumber.TRUE if both operand are equals, BtrpNumber.FALSE otherwisepublic BtrpNumber geq(BtrpOperand other)
BtrpOperandgeq in interface BtrpOperandother - the operand to compare toBtrpNumber.TRUE if this operand is greater or equals, BtrpNumber.FALSE otherwisepublic BtrpNumber gt(BtrpOperand other)
BtrpOperandgt in interface BtrpOperandother - the operand to compare toBtrpNumber.TRUE if this operand is strictly greater, BtrpNumber.FALSE otherwisepublic String prettyType()
prettyType in interface BtrpOperandpublic static String prettyType(BtrpOperand o)
o - the operandpublic static String prettyType(int degree, BtrpOperand.Type t)
degree - 0 for a literal, 1 for a set, 2 for a set of sets, ...t - the literalCopyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.