eu.bandm.sig.absy
Class CAxiom

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

All Implemented Interfaces:

Formattable, Cloneable

public class CAxiom
extends Constraint

Field Summary

static Function<CAxiom,Pattern>	get_left
protected Pattern	left
static Consumer<Pattern,CAxiom>	set_left

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

bindings, get_bindings, 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

CAxiom(Pattern left)

Method Summary

CAxiom	doclone()
Format	format()
Pattern	get_left()
static String	getFormatHint()
CAxiom	initFrom(Object o0)
boolean	set_left(Pattern val)

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

descend_bindings, get_bindings, set_bindings

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

left

protected Pattern left

get_left

public static final Function<CAxiom,Pattern> get_left

set_left

public static final Consumer<Pattern,CAxiom> set_left

Constructor Detail

CAxiom

public CAxiom(Pattern left)

Method Detail

doclone

public CAxiom doclone()

Overrides:

doclone in class Constraint

getFormatHint

public static String getFormatHint()

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Constraint

initFrom

public CAxiom initFrom(Object o0)

Overrides:

initFrom in class Constraint

get_left

public Pattern get_left()

set_left

public boolean set_left(Pattern val)