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

Class FairnessRequirement

java.lang.Object
org.svvrl.goal.core.tran.tester.FairnessRequirement
public class FairnessRequirement
extends java.lang.Object
This class represents the fairness requirement of an FDS.
Author:
Wen-Chin Chan

  • Constructor Summary

    Constructors 
    Constructor Description
    FairnessRequirement​(LTL qptl)
    Constructor, which invokes initialize(LTL), of this class.

  • Method Summary

    Modifier and Type Method Description
    java.util.Set<LTL> getJusticeSet()
    Returns the justice set.
    java.lang.String toString()  

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • FairnessRequirement

      public FairnessRequirement​(LTL qptl)
      Constructor, which invokes initialize(LTL), of this class.
      Parameters:
      qptl - an LTL formula

  • Method Details

    • getJusticeSet

      public java.util.Set<LTL> getJusticeSet()
      Returns the justice set.
      Returns:
      the justice set

    • toString

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