visidia.rule
Class RSOptions
java.lang.Object
visidia.rule.RSOptions
public class RSOptions
- extends java.lang.Object
Relabeling system options.
Constructor Summary |
RSOptions()
default values are SynCT.NOT_SPECIFIED as synchronization algorithm,
and true for manage termination. |
RSOptions(int syn,
boolean term)
|
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
synAlgo
protected int synAlgo
manageTerm
public boolean manageTerm
RSOptions
public RSOptions()
- default values are SynCT.NOT_SPECIFIED as synchronization algorithm,
and true for manage termination.
RSOptions
public RSOptions(int syn,
boolean term)
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