de.uni_due.inf.ti.raven.encodings

Classes

• AnotherDominatingSetEncoding
• AnotherLinkEncoding
• AnotherPathEncoding
• BDDEncoding
• BoundEncoding
• ColorabilityEncoding
• CountingEncoding
• DefaultColorabilityEncoding
• DefaultDominatingSetEncoding
• DefaultEdgeCountingEncoding
• DefaultLinkEncoding
• DefaultMaximumBoundEncoding
• DefaultMinimumBoundEncoding
• DefaultNoIsolatedNodesEncoding
• DefaultPathEncoding
• DefaultSubgraphEncoding
• DefaultVertexCountingEncoding
• DefaultVertexCoverEncoding
• DominatingSetEncoding
• EdgeCountingEncoding
• LinkEncoding
• NoIsolatedNodesEncoding
• PathEncoding
• ProductEncoding
• SubgraphEncoding
• UnionEncoding
• VertexCountingEncoding
• VertexCoverEncoding

Enums

• BDDEncoding.StateType
• BoundEncoding.Type