Class ModelCheckResult

java.lang.Object
es.ucm.maude.bindings.ModelCheckResult
public class ModelCheckResult extends Object
Result of LTL model checking.

  • Constructor Details

    • ModelCheckResult

      public ModelCheckResult()

  • Method Details

    • delete

      public void delete()

    • getHolds

      public boolean getHolds()
      Whether the property holds.

    • getLeadIn

      public IntVector getLeadIn()
      The counterexample path to the cycle.

    • getCycle

      public IntVector getCycle()
      The counterexample cycle.

    • getNrBuchiStates

      public int getNrBuchiStates()
      Number of states in the Büchi automaton.