Package net.automatalib.graph

Interface SimpleGraph.IntAbstraction

All Superinterfaces:

FiniteRepresentation

All Known Subinterfaces:

BidirectionalGraph.IntAbstraction<E>, Graph.IntAbstraction<E>, MutableGraph.IntAbstraction<E,NP,EP>, UniversalGraph.IntAbstraction<E,NP,EP>

All Known Implementing Classes:

AbstractCompactBidiGraph, AbstractCompactGraph, CompactBidiGraph, CompactGraph, CompactPMPG, CompactSimpleBidiGraph, CompactSimpleGraph, WitnessTree

Enclosing interface:

SimpleGraph<N>

public static interface SimpleGraph.IntAbstraction
extends FiniteRepresentation

Basic interface for integer abstractions of graphs. In an integer abstraction, each node of a graph is identified with an integer in the range [0, size() - 1].

Method Summary

Modifier and Type	Method	Description
boolean	isConnected(int source, int target)

Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation

size

Method Detail

isConnected

boolean isConnected(int source,
                    int target)