org.colomoto.biolqm.tool.trapspaces

Interface TrapSpaceSolver

All Known Implementing Classes:

TrapSpaceSolverASP, TrapSpaceSolverBDD

public interface TrapSpaceSolver

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)

Method Detail

add_variable

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

add_fixed

void add_fixed(int idx,
               int value)

solve

void solve(TrapSpaceList solutions)