joeq.Main
Class FindBestPermutation

java.lang.Object
  java.lang.Thread
      joeq.Main.FindBestPermutation

All Implemented Interfaces:

Runnable

public class FindBestPermutation
extends Thread

FindBestPermutation

Version:

$Id: FindBestPermutation.java 2465 2006-06-07 23:03:17Z joewhaley $

Author:

jwhaley

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

FindBestPermutation(boolean reverse, String orderingToTry, String filename)

Method Summary

static void	main(String[] args)
static void	readBDDConfig(net.sf.javabdd.BDDFactory bdd)
void	run()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Constructor Detail

FindBestPermutation

public FindBestPermutation(boolean reverse,
                           String orderingToTry,
                           String filename)

Parameters:

reverse -

orderingToTry -

filename -

Method Detail

run

public void run()

Specified by:

run in interface Runnable

Overrides:

run in class Thread

main

public static void main(String[] args)

readBDDConfig

public static void readBDDConfig(net.sf.javabdd.BDDFactory bdd)