eu.bandm.sig.absy
Class RDisjoint

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

All Implemented Interfaces:

Formattable, Cloneable

public class RDisjoint
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

RDisjoint(Rule left, Rule right)

Method Summary

RDisjoint	doclone()
Format	format()
static String	getFormatHint()
RDisjoint	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

RDisjoint

public RDisjoint(Rule left,
                 Rule right)

Method Detail

doclone

public RDisjoint 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 RDisjoint initFrom(Object o0)

Overrides:

initFrom in class BinaryRule