org.colomoto.biolqm.tool.trapspaces

Class TrapSpaceSolverBDD

java.lang.Object

org.colomoto.biolqm.tool.trapspaces.TrapSpaceSolverBDD

All Implemented Interfaces:

TrapSpaceSolver

public class TrapSpaceSolverBDD
extends Object
implements TrapSpaceSolver

Use BDDs to identify trapspaces.

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
TrapSpaceSolverBDD(LogicalModel model, TrapSpaceSettings settings)

Method Summary

Modifier and Type	Method and Description
void	add_fixed(int idx, int value)
void	add_variable(int idx, Formula formula, Formula not_formula)
void	solve(TrapSpaceList solutions)

Methods inherited from class java.lang.Object

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

Constructor Detail

TrapSpaceSolverBDD

public TrapSpaceSolverBDD(LogicalModel model,
                          TrapSpaceSettings settings)

Method Detail

add_variable

public void add_variable(int idx,
                         Formula formula,
                         Formula not_formula)

Specified by:

add_variable in interface TrapSpaceSolver

add_fixed

public void add_fixed(int idx,
                      int value)

Specified by:

add_fixed in interface TrapSpaceSolver

solve

public void solve(TrapSpaceList solutions)

Specified by:

solve in interface TrapSpaceSolver