|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DotModel | |
---|---|
dk.brics.bisim | |
dk.brics.bisim.model |
Uses of DotModel in dk.brics.bisim |
---|
Fields in dk.brics.bisim declared as DotModel | |
---|---|
private DotModel |
BisimulationGame.dotModel
|
Uses of DotModel in dk.brics.bisim.model |
---|
Fields in dk.brics.bisim.model declared as DotModel | |
---|---|
private DotModel |
SimulatorModel.dotModel
|
Constructors in dk.brics.bisim.model with parameters of type DotModel | |
---|---|
GlobalModelImpl(java.lang.String leftFilePath,
java.lang.String rightFilePath,
java.lang.String leftFile,
java.lang.String rightFile,
int role,
int bisimulation,
DotModel dotModel)
Constructs a global model. |
|
SimulatorModel(DotModel dotModel)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |