Uses of Class
net.automatalib.graph.CompactGraph

Packages that use CompactGraph

Package	Description
net.automatalib.modelchecker.m3c.solver
net.automatalib.serialization.dot

Uses of CompactGraph in net.automatalib.modelchecker.m3c.solver

Subclasses of CompactGraph in net.automatalib.modelchecker.m3c.solver

Modifier and Type	Class	Description
class	WitnessTree<L,AP>	A tree-like Graph that represents the BFS-style exploration of the tableau generated by the WitnessTreeExtractor.

Uses of CompactGraph in net.automatalib.serialization.dot

Methods in net.automatalib.serialization.dot that return types with arguments of type CompactGraph

Modifier and Type	Method	Description
static ModelDeserializer<CompactGraph<@Nullable String,@Nullable String>>	DOTParsers.graph()	Default parser for (directed) Graphs serialized by AutomataLib.
static <NP,EP> ModelDeserializer<CompactGraph<NP,EP>>	DOTParsers.graph(Function<Map<String,String>,NP> nodeParser, Function<Map<String,String>,EP> edgeParser)	Parser for (directed) Graphs with custom node and edge attributes.