eu.bandm.sig.absy
Class ROverlay

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Rule
          eu.bandm.sig.absy.BinaryRule
              eu.bandm.sig.absy.ROverlay

All Implemented Interfaces:

Formattable, Cloneable

public class ROverlay
extends BinaryRule

Field Summary

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

get_left, get_right, left, right, set_left, set_right

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

domain, get_domain, get_range, range, set_domain, set_range

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

ROverlay(Rule left, Rule right)

Method Summary

ROverlay	doclone()
Format	format()
static String	getFormatHint()
ROverlay	initFrom(Object o0)

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

get_left, get_right, set_left, set_right

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

get_domain, get_range, set_domain, set_range

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

Constructor Detail

ROverlay

public ROverlay(Rule left,
                Rule right)

Method Detail

doclone

public ROverlay doclone()

Overrides:

doclone in class BinaryRule

getFormatHint

public static String getFormatHint()

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class BinaryRule

initFrom

public ROverlay initFrom(Object o0)

Overrides:

initFrom in class BinaryRule