Class inria.meije.rc.sugarcubes.UnaryConfig 
All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class inria.meije.rc.sugarcubes.UnaryConfig 

java.lang.Object
   |
   +----inria.meije.rc.sugarcubes.Config
           |
           +----inria.meije.rc.sugarcubes.UnaryConfig
public class UnaryConfig
extends Config
implements EventConsts
Unary configurations are positive or negative configurations. Positive configurations are just events. Negative configurations are negations of events, corresponding to "not E".

Variable Index

o eventName

Constructor Index

o UnaryConfig()

Method Index

o equals(Config)
o fixed(Machine)
An unary configuration is fixed when the event fixation returns a final value (different from UNKNOWN).
o name()

Variables

o eventName 
  protected String eventName

Constructors

o UnaryConfig 
  public UnaryConfig()

Methods

o name 
  public String name()
o equals 
  public boolean equals(Config config)
Overrides:
equals in class Config
o fixed 
  public boolean fixed(Machine machine)
An unary configuration is fixed when the event fixation returns a final value (different from UNKNOWN).
Overrides:
fixed in class Config 
All Packages  Class Hierarchy  This Package  Previous  Next  Index