org.colomoto.biolqm.helper.implicants

Class ImplicantSearcher

java.lang.Object

org.colomoto.biolqm.helper.implicants.ImplicantSearcher

All Implemented Interfaces:

Iterable<Integer>

public class ImplicantSearcher
extends Object
implements Iterable<Integer>

Restrict the paths given by a PathSearcher to the list of actual regulators

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
ImplicantSearcher(org.colomoto.mddlib.MDDManager ddmanager, int value)

Method Summary

Modifier and Type	Method and Description
int[]	getRegulatorList()
boolean[]	getRegulators()
Iterator<Integer>	iterator()
byte[]	setNode(int node)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ImplicantSearcher

public ImplicantSearcher(org.colomoto.mddlib.MDDManager ddmanager,
                         int value)

Method Detail

setNode

public byte[] setNode(int node)

getRegulators

public boolean[] getRegulators()

getRegulatorList

public int[] getRegulatorList()

iterator

public Iterator<Integer> iterator()

Specified by:

iterator in interface Iterable<Integer>