org.colomoto.biolqm.tool.trapspaces

Class TrapSpaceSolverFunctionASP

java.lang.Object

org.colomoto.biolqm.tool.trapspaces.TrapSpaceSolverFunctionASP

All Implemented Interfaces:

ClingoResultHandler, TrapSpaceSolver

public class TrapSpaceSolverFunctionASP
extends Object
implements TrapSpaceSolver, ClingoResultHandler

Use the clingo ASP solver to identify trap spaces.

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
TrapSpaceSolverFunctionASP(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	handle(ClingoResult r)
String	show()
void	solve(TrapSpaceList solutions)

Methods inherited from class java.lang.Object

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

Constructor Detail

TrapSpaceSolverFunctionASP

public TrapSpaceSolverFunctionASP(LogicalModel model,
                                  TrapSpaceTask 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

show

public String show()

Specified by:

show in interface TrapSpaceSolver

solve

public void solve(TrapSpaceList solutions)

Specified by:

solve in interface TrapSpaceSolver

handle

public void handle(ClingoResult r)

Specified by:

handle in interface ClingoResultHandler

add_focus

public void add_focus(int idx)

Specified by:

add_focus in interface TrapSpaceSolver