Uses of Interface
org.bigraphs.framework.simulation.modelchecking.BigraphFilter

Packages that use BigraphFilter

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of BigraphFilter in org.bigraphs.framework.simulation.modelchecking

Fields in org.bigraphs.framework.simulation.modelchecking declared as BigraphFilter

Modifier and Type	Field	Description
protected BigraphFilter<B>	ModelCheckingStrategySupport.worklistFilter

Methods in org.bigraphs.framework.simulation.modelchecking that return BigraphFilter

Modifier and Type	Method	Description
BigraphFilter<B>	ModelCheckingStrategy.getWorklistFilter()
BigraphFilter<B>	ModelCheckingStrategySupport.getWorklistFilter()
static <B extends Bigraph<? extends Signature<?>>> BigraphFilter<B>	BigraphFilter.noop()	Default no-op filter (accepts everything).

Methods in org.bigraphs.framework.simulation.modelchecking with parameters of type BigraphFilter

Modifier and Type	Method	Description
void	ModelCheckingStrategy.setWorklistFilter(BigraphFilter<B> filter)
void	ModelCheckingStrategySupport.setWorklistFilter(BigraphFilter<B> filter)	Defaults to noop() unless a subclass overrides this to add logic.