[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Model / Class-use / IGraphFactory
Printer-friendly
Uses of Interface rwth.i2.ltl2ba4j.model.IGraphFactory (LTL2BA4J)

Uses of Interface
rwth.i2.ltl2ba4j.model.IGraphFactory

Packages that use IGraphFactory
rwth.i2.ltl2ba4j JNI bridge to ltl2ba. 
rwth.i2.ltl2ba4j.model.impl Default implementation. 
 

Uses of IGraphFactory in rwth.i2.ltl2ba4j
 

Methods in rwth.i2.ltl2ba4j that return IGraphFactory
static IGraphFactory LTL2BA4J.getGraphFactory()
           
 

Methods in rwth.i2.ltl2ba4j with parameters of type IGraphFactory
static void LTL2BA4J.setGraphFactory(IGraphFactory customGraphFactory)
          Sets a factory used to generate the resulting graph.
 

Uses of IGraphFactory in rwth.i2.ltl2ba4j.model.impl
 

Classes in rwth.i2.ltl2ba4j.model.impl that implement IGraphFactory
 class GraphFactory
           
 



Eric Bodden, RWTH Aachen University, 2005.
Valid HTML 4.01 Strict! Valid CSS!