net.sf.bddbddb
Class LSSolver

java.lang.Object
  net.sf.bddbddb.Solver
      net.sf.bddbddb.LSSolver

public class LSSolver
extends Solver

LSSolver

Version:

$Id: LSSolver.java 497 2005-04-06 17:03:47Z joewhaley $

Author:

jwhaley

Nested Class Summary

Nested classes/interfaces inherited from class net.sf.bddbddb.Solver

Solver.MyReader

Field Summary

Fields inherited from class net.sf.bddbddb.Solver

err, out, startTime

Constructor Summary

LSSolver()

Method Summary

void	cleanup() Clean up the solver, freeing the memory associated with it.
Relation	createRelation(java.lang.String name, java.util.List attributes) Create a new relation.
void	finish() Called after solving.
void	solve() Solve the rules.

Methods inherited from class net.sf.bddbddb.Solver

addBDDLibraryToClasspath, addSaveHook, clear, doCallbacks, execSolver, getBaseDir, getComparisonRelations, getDomain, getIterationFlowGraph, getNumberOfRelations, getRelation, getRelation, getRelations, getRelationsToLoad, getRelationsToSave, getRule, getRule, getRules, getRuleThatContains, initialize, load, load, main, main2, printUsage, run, save, stratify

Methods inherited from class java.lang.Object

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

Constructor Detail

LSSolver

public LSSolver()

Method Detail

createRelation

public Relation createRelation(java.lang.String name,
                               java.util.List attributes)

Description copied from class: Solver

Create a new relation.

Specified by:

createRelation in class Solver

Parameters:

name - name of relation

attributes - attributes of relation

Returns:

new relation

solve

public void solve()

Description copied from class: Solver

Solve the rules.

Specified by:

solve in class Solver

finish

public void finish()

Description copied from class: Solver

Called after solving.

Specified by:

finish in class Solver

cleanup

public void cleanup()

Description copied from class: Solver

Clean up the solver, freeing the memory associated with it.

Specified by:

cleanup in class Solver