eu.bandm.sig.absy
Class RSucceed

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Rule
          eu.bandm.sig.absy.RSucceed

All Implemented Interfaces:

Formattable, Cloneable

public class RSucceed
extends Rule

Field Summary

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

RSucceed()

Method Summary

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

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

RSucceed

public RSucceed()

Method Detail

doclone

public RSucceed doclone()

Overrides:

doclone in class Rule

getFormatHint

public static String getFormatHint()

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Rule

initFrom

public RSucceed initFrom(Object o0)

Overrides:

initFrom in class Rule