[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
Uses of Interface rwth.i2.ltl2ba4j.model.IGraphFactory (LTL2BA4J)

Uses of Interface

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!