TemporalTesterOptions

java.lang.Object

java.util.Dictionary<K,V>

java.util.Hashtable<java.lang.Object,java.lang.Object>

java.util.Properties

org.svvrl.goal.core.Properties

org.svvrl.goal.core.tran.tester.TemporalTesterOptions

All Implemented Interfaces:: java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,java.lang.Object>

public class TemporalTesterOptions
extends Properties

This class contains several options for the Tableau translators. The initial values of the options depend on the preference set by the user.

Author:: Ming-Hsien Tsai
See Also:: Serialized Form

Field Summary

Fields
Modifier and Type	Field	Description
`static java.lang.String`	`TemporalTesterSimplifyFormulaKey`	The option key of simplifying formula.
`static java.lang.String`	`TemporalTesterSimplifyNBWKey`	The option key of simplifying NBW.
`static java.lang.String`	`TemporalTesterSimplifyNGBWKey`	The option key of simplifying NGBW.
`static java.lang.String`	`TemporalTesterSimplifyProjectedNBWKey`	The option key of simplifying projected NBW.

Fields inherited from class org.svvrl.goal.core.Properties

listeners, PROPERTY_DELIMITER

Fields inherited from class java.util.Properties

defaults

Constructor Summary

Constructors
Constructor	Description
`TemporalTesterOptions()`	Constructs this object with default options.
`TemporalTesterOptions(Properties o)`	Constructs this object with custom options.

Method Summary

Methods inherited from class org.svvrl.goal.core.Properties
addProperties, addPropertyChangeListener, appendProperties, appendProperties, firePropertyChangeEvent, getProperty, getProperty, getProperty, getPropertyAsBoolean, getPropertyAsBoolean, getPropertyAsDouble, getPropertyAsDouble, getPropertyAsInteger, getPropertyAsInteger, removePropertyChangeListener, setPreferenceLookup, setProperty, setProperty, setProperty, setProperty

Methods inherited from class java.util.Properties
clear, clone, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keys, keySet, list, list, load, load, loadFromXML, merge, propertyNames, put, putAll, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, save, size, store, store, storeToXML, storeToXML, storeToXML, stringPropertyNames, toString, values

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details
- TemporalTesterSimplifyFormulaKey
  
  public static final java.lang.String TemporalTesterSimplifyFormulaKey
  
  The option key of simplifying formula.
- TemporalTesterSimplifyNGBWKey
  
  public static final java.lang.String TemporalTesterSimplifyNGBWKey
  
  The option key of simplifying NGBW.
- TemporalTesterSimplifyNBWKey
  
  public static final java.lang.String TemporalTesterSimplifyNBWKey
  
  The option key of simplifying NBW.
- TemporalTesterSimplifyProjectedNBWKey
  
  public static final java.lang.String TemporalTesterSimplifyProjectedNBWKey
  
  The option key of simplifying projected NBW.
Constructor Details
- TemporalTesterOptions
  
  public TemporalTesterOptions()
  
  Constructs this object with default options.
- TemporalTesterOptions
  
  public TemporalTesterOptions(Properties o)
  
  Constructs this object with custom options.
  
  Parameters:
  
  o - custom options