eu.bandm.sig.absy
Class Constraint

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Constraint

All Implemented Interfaces:

Formattable, Cloneable

Direct Known Subclasses:

BinaryConstraint, BinaryContext, CAxiom, CCall, CDeclare, CEquation, CFalse, CTrue

public abstract class Constraint
extends Absy

Field Summary

protected CheckedMap_D<Variable,Type>	bindings
static Function<Constraint,CheckedMap_D<Variable,Type>>	get_bindings
static Consumer<CheckedMap_D<Variable,Type>,Constraint>	set_bindings

Fields inherited from class eu.bandm.sig.absy.Absy

get_location, location, set_location

Fields inherited from interface eu.bandm.tools.format.Formattable

format

Constructor Summary

Constraint()

Method Summary

void	descend_bindings(MATCH_ONLY_00 visitor)
Constraint	doclone()
Format	format()
CheckedMap_D<Variable,Type>	get_bindings()
Constraint	initFrom(Object o0)
boolean	set_bindings(CheckedMap_D<Variable,Type> val)

Methods inherited from class eu.bandm.sig.absy.Absy

get_location, set_location

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

bindings

protected CheckedMap_D<Variable,Type> bindings

get_bindings

public static final Function<Constraint,CheckedMap_D<Variable,Type>> get_bindings

set_bindings

public static final Consumer<CheckedMap_D<Variable,Type>,Constraint> set_bindings

Constructor Detail

Constraint

public Constraint()

Method Detail

doclone

public Constraint doclone()

Overrides:

doclone in class Absy

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Absy

initFrom

public Constraint initFrom(Object o0)

Overrides:

initFrom in class Absy

get_bindings

public CheckedMap_D<Variable,Type> get_bindings()

set_bindings

public boolean set_bindings(CheckedMap_D<Variable,Type> val)

descend_bindings

public void descend_bindings(MATCH_ONLY_00 visitor)