AuxVariable

java.lang.Object

org.svvrl.goal.core.logic.Proposition

org.svvrl.goal.core.tran.tester.AuxVariable

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Comparable<Proposition>

public class AuxVariable
extends Proposition

Represents the Auxiliary Variable. It includes Auxiliary variable and Primed variable or both.

Author:: Wen-Chin Chan

Field Summary

Fields

Modifier and Type Field Description

static int TYPE_AUX

static int TYPE_BOTH

static int TYPE_PRIMED

Fields inherited from class org.svvrl.goal.core.logic.Proposition
Epsilon, FALSE, Lambda, TRUE
Constructor Summary

Constructors

Constructor Description

AuxVariable(LTL ltl, int type)
Constructor of Auxiliary Variable.

Method Summary

Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`LTL`	`getSubScript()`	Returns the subscript of this variable.
`int`	`getType()`	Returns the corresponding type of the variable.
`int`	`hashCode()`
`void`	`setType(int type)`	Sets the type of this variable.

Methods inherited from class org.svvrl.goal.core.logic.Proposition

clone, compareTo, getName, newInstance, newInstance, setName, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details
- TYPE_AUX
  
  public static final int TYPE_AUX
  
  See Also:
  
  Constant Field Values
- TYPE_PRIMED
  
  public static final int TYPE_PRIMED
  
  See Also:
  
  Constant Field Values
- TYPE_BOTH
  
  public static final int TYPE_BOTH
  
  See Also:
  
  Constant Field Values
Constructor Details
- AuxVariable
  
  public AuxVariable(LTL ltl, int type)
  
  Constructor of Auxiliary Variable.
  
  Parameters:
  
  ltl - an LTL formula
  
  type - an integer
Method Details
- getType
  
  public int getType()
  
  Returns the corresponding type of the variable.
  
  Returns:
  
  int
- setType
  
  public void setType(int type)
  
  Sets the type of this variable.
  
  Parameters:
  
  type - the type of this variable
- getSubScript
  
  public LTL getSubScript()
  
  Returns the subscript of this variable.
  
  Returns:
  
  the subscript of this variable
- equals
  
  public boolean equals(java.lang.Object obj)
  
  Overrides:
  
  equals in class Proposition
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Proposition