eu.bandm.sig.absy
Class CFalse

java.lang.Object
  extended by eu.bandm.sig.absy.Absy
      extended by eu.bandm.sig.absy.Constraint
          extended by eu.bandm.sig.absy.CFalse
All Implemented Interfaces:
Formattable, Cloneable

public class CFalse
extends Constraint


Field Summary
 
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
CFalse()
           
 
Method Summary
 CFalse doclone()
           
 Format format()
           
static String getFormatHint()
           
 CFalse initFrom(Object o0)
           
 
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
 

Constructor Detail

CFalse

public CFalse()
Method Detail

doclone

public CFalse 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 CFalse initFrom(Object o0)
Overrides:
initFrom in class Constraint