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, TrapSpaceTask settings)

Method Summary

Modifier and Type	Method and Description
void	add_fixed(int idx, int value)
void	add_focus(int idx)
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

Methods inherited from interface org.colomoto.biolqm.tool.trapspaces.TrapSpaceSolver

show

Constructor Detail

TrapSpaceSolverBDD

public TrapSpaceSolverBDD(LogicalModel model,
                          TrapSpaceTask settings)

Method Detail

add_focus

public void add_focus(int idx)

Specified by:

add_focus in interface TrapSpaceSolver

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