org.colomoto.biolqm.tool.attractor

Class SATAttractorFinder

java.lang.Object

org.colomoto.biolqm.tool.attractor.SATAttractorFinder

public class SATAttractorFinder
extends Object

Identification of synchronous attractors using a SAT solver, as proposed by E. Dubrova and M. Teslenko in "A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks"

Author:

Mitchell Markin

Constructor Summary

Constructors

Constructor and Description
SATAttractorFinder(LogicalModel model)

Method Summary

Modifier and Type	Method and Description
void	run()

Methods inherited from class java.lang.Object

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

Constructor Detail

SATAttractorFinder

public SATAttractorFinder(LogicalModel model)

Method Detail

run

public void run()