sandmark.util.graph.codec
Class SpinelessPermutationGraph

java.lang.Object
  |
  +--sandmark.util.graph.codec.GraphCodec
        |
        +--sandmark.util.graph.codec.SpinelessPermutationGraph

public class SpinelessPermutationGraph

extends GraphCodec

Field Summary

Fields inherited from class sandmark.util.graph.codec.GraphCodec

codecs, fullName, graph, kidMap, random, root, shortName, value

Constructor Summary

SpinelessPermutationGraph(java.math.BigInteger value)

SpinelessPermutationGraph(Graph graph)

Method Summary

(package private) void	decode() Codecs should implement this method to convert the 'graph' into 'value'.
(package private) void	encode() Codecs should implement this method to convert the 'value' into 'graph'.
static void	main(java.lang.String[] argv)

Methods inherited from class sandmark.util.graph.codec.GraphCodec

codecByName, getKid, randomCodec

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SpinelessPermutationGraph

public SpinelessPermutationGraph(java.math.BigInteger value)

SpinelessPermutationGraph

public SpinelessPermutationGraph(Graph graph)
                          throws DecodeFailure

Method Detail

encode

void encode()

Description copied from class: GraphCodec

Codecs should implement this method to convert the 'value' into 'graph'.

Specified by:

encode in class GraphCodec

decode

void decode()
      throws DecodeFailure

Description copied from class: GraphCodec

Codecs should implement this method to convert the 'graph' into 'value'. Whenever the decoding failes (eg. because the graph has the wrong shape) the codec should simply throw an exception.

Specified by:

decode in class GraphCodec

DecodeFailure

main

public static void main(java.lang.String[] argv)
                 throws java.lang.Throwable

java.lang.Throwable