eu.bandm.sig.absy
Class PDisjoint

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Pattern
          eu.bandm.sig.absy.BinaryPattern
              eu.bandm.sig.absy.PDisjoint

All Implemented Interfaces:

Formattable, Cloneable

public class PDisjoint
extends BinaryPattern

Field Summary

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

get_left, get_right, left, right, set_left, set_right

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

bindings, get_bindings, get_type, set_bindings, set_type, type

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

PDisjoint(Pattern left, Pattern right)

Method Summary

PDisjoint	doclone()
Format	format()
PDisjoint	initFrom(Object o0)

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

get_left, get_right, set_left, set_right

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

descend_bindings, get_bindings, get_type, set_bindings, set_type

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

PDisjoint

public PDisjoint(Pattern left,
                 Pattern right)

Method Detail

doclone

public PDisjoint doclone()

Overrides:

doclone in class BinaryPattern

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class BinaryPattern

initFrom

public PDisjoint initFrom(Object o0)

Overrides:

initFrom in class BinaryPattern