visidia.rule
Class RSOptions

java.lang.Object
  extended by visidia.rule.RSOptions

public class RSOptions
extends java.lang.Object

Relabeling system options.


Field Summary
 boolean manageTerm
           
protected  int synAlgo
           
 
Constructor Summary
RSOptions()
          default values are SynCT.NOT_SPECIFIED as synchronization algorithm, and true for manage termination.
RSOptions(int syn, boolean term)
           
 
Method Summary
 java.lang.Object clone()
           
 int defaultSynchronisation()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

synAlgo

protected int synAlgo

manageTerm

public boolean manageTerm
Constructor Detail

RSOptions

public RSOptions()
default values are SynCT.NOT_SPECIFIED as synchronization algorithm, and true for manage termination.


RSOptions

public RSOptions(int syn,
                 boolean term)
Method Detail

defaultSynchronisation

public int defaultSynchronisation()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object