org.colomoto.biolqm.tool.fixpoints

Class StableASP

java.lang.Object

org.colomoto.biolqm.tool.fixpoints.StableASP

All Implemented Interfaces:

ClingoResultHandler

public class StableASP
extends Object
implements ClingoResultHandler

Use the clingo ASP solver to assemble the stability constraints and identify stable states.

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
StableASP(LogicalModel model)

Method Summary

Modifier and Type	Method and Description
FixpointList	get()
String	getProgram()
void	handle(ClingoResult r)

Methods inherited from class java.lang.Object

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

Constructor Detail

StableASP

public StableASP(LogicalModel model)

Method Detail

getProgram

public String getProgram()

get

public FixpointList get()

handle

public void handle(ClingoResult r)

Specified by:

handle in interface ClingoResultHandler