de.stups.probkodkod.parser.node

Interface Switch

All Known Subinterfaces:

Analysis

All Known Implementing Classes:

AnalysisAdapter, DepthFirstAdapter, KodkodAnalysis, ReversedDepthFirstAdapter

public interface Switch