Hierarchy For Package org.bigraphs.framework.simulation.modelchecking.predicates
Package Hierarchies: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>