Uses of Class
dk.brics.bisim.equiv.ConfigurationGraph

Packages that use ConfigurationGraph
dk.brics.bisim.model   
 

Uses of ConfigurationGraph in dk.brics.bisim.model
 

Fields in dk.brics.bisim.model declared as ConfigurationGraph
private  ConfigurationGraph GameModel.configurationGraph
           
 

Methods in dk.brics.bisim.model that return ConfigurationGraph
 ConfigurationGraph GameModel.getConfigurationGraph()