Package org.bigraphs.framework.simulation.modelchecking.predicates

Class PredicateChecker<B extends Bigraph<? extends Signature<?>>>

java.lang.Object
org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker<B>
public class PredicateChecker<B extends Bigraph<? extends Signature<?>>> extends Object
The task of the class is to evaluate a given set of predicates of class ReactiveSystemPredicate.

After evaluation, a map can be acquired to see which predicates evaluated to true or false.

This class is thread-safe.

Author:
Dominik Grzelak

  • Constructor Details

  • Method Details

    • checkAll

      public boolean checkAll(B agent)
      Checks all predicates passed via the constructor before. Detailed evaluation results of each checked predicate can be acquired by the getChecked() method afterwards.
      Parameters:
      agent - the bigraph agent to use for the predicate checking
      Returns:
      true, if all predicates evaluated to true, otherwise false

    • getChecked

      public Map<ReactiveSystemPredicate<B>,Boolean> getChecked()
      Get detailed information of the predicate evaluation after the method checkAll(Bigraph) was called.
      Returns:
      a result map of the predicate evaluation

    • getPredicates

      public List<ReactiveSystemPredicate<B>> getPredicates()
      Get the set of predicates with which the class was instantiated.
      Returns:
      set of predicates