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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker<B>
  • org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate<B> (implements org.bigraphs.framework.core.reactivesystem.HasLabel, java.util.function.Predicate<T>)
    • org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate<B>
    • org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate<B>
    • org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate<B>
    • org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate<B>