eu.bandm.sig.absy
Class OTuple
java.lang.Object
eu.bandm.sig.absy.Absy
eu.bandm.sig.absy.Operation
eu.bandm.sig.absy.AggregateOperation
eu.bandm.sig.absy.OTuple
- All Implemented Interfaces:
- Formattable, Cloneable
public class OTuple
- extends AggregateOperation
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
elems
protected CheckedMap_RD<Label,Variable> elems
get_elems
public static final Function<OTuple,CheckedMap_RD<Label,Variable>> get_elems
set_elems
public static final Consumer<CheckedMap_RD<Label,Variable>,OTuple> set_elems
OTuple
public OTuple(Variable out)
doclone
public OTuple doclone()
- Overrides:
doclone
in class AggregateOperation
getFormatHint
public static String getFormatHint()
format
public Format format()
- Specified by:
format
in interface Formattable
- Overrides:
format
in class AggregateOperation
initFrom
public OTuple initFrom(Object o0)
- Overrides:
initFrom
in class AggregateOperation
get_elems
public CheckedMap_RD<Label,Variable> get_elems()
set_elems
public boolean set_elems(CheckedMap_RD<Label,Variable> val)
put_elems
public void put_elems(Label key0,
Variable value)
containsKey_elems
public boolean containsKey_elems(Label key0)
descend_elems
public void descend_elems(MATCH_ONLY_00 visitor)