Class ModelCheckingStrategySupport.MatchResult<B extends Bigraph<? extends Signature<?>>>

java.lang.Object
org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport.MatchResult<B>
All Implemented Interfaces:
BMatchResult<B>
Enclosing class:
ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>

public static class ModelCheckingStrategySupport.MatchResult<B extends Bigraph<? extends Signature<?>>> extends Object implements BMatchResult<B>