Package org.svvrl.goal.core.tran.tester

Class InitialCondition

java.lang.Object
org.svvrl.goal.core.tran.tester.InitialCondition
public class InitialCondition
extends java.lang.Object
The initial condition of a Fair Discrete System.
Author:
Wen-Chin Chan

  • Constructor Summary

    Constructors 
    Constructor Description
    InitialCondition​(LTL qptl)
    Constructor of this class.

  • Method Summary

    Modifier and Type Method Description
    LTL getInitCondition()
    Returns the initial condition.
    java.lang.String toString()  

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • InitialCondition

      public InitialCondition​(LTL qptl)
      Constructor of this class.
      Parameters:
      qptl - an LTL formula

  • Method Details

    • getInitCondition

      public LTL getInitCondition()
      Returns the initial condition.
      Returns:
      the initial condition

    • toString

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