public class BtrpElement extends DefaultBtrpOperand
BtrpOperand.Type| Constructor and Description |
|---|
BtrpElement(BtrpOperand.Type ty,
String n,
Element el)
Make a new element.
|
| Modifier and Type | Method and Description |
|---|---|
BtrpElement |
copy() |
int |
degree()
Get the degree of the operand.
|
BtrpNumber |
eq(BtrpOperand other)
Check if this operand is equals to another one.
|
boolean |
equals(Object o)
Check the equality of two elements.
|
Element |
getElement()
Get the element.
|
String |
getName()
Get the element identifier.
|
int |
hashCode() |
String |
toString() |
BtrpOperand.Type |
type()
Get the type of the operand.
|
div, geq, gt, label, minus, negate, not, plus, power, prettyType, prettyType, prettyType, remainder, setLabel, timespublic BtrpElement(BtrpOperand.Type ty, String n, Element el)
ty - the element type. Either BtrpOperand.Type.VM or BtrpOperand.Type.NODE.n - the element nameel - the associated BtrPlace elementpublic String getName()
public Element getElement()
public boolean equals(Object o)
public int degree()
BtrpOperand0public BtrpOperand.Type type()
BtrpOperandpublic BtrpNumber eq(BtrpOperand other)
BtrpOperandeq in interface BtrpOperandeq in class DefaultBtrpOperandother - the operand to compare toBtrpNumber.TRUE if both operand are equals, BtrpNumber.FALSE otherwisepublic BtrpElement copy()
Copyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.