org.colomoto.biolqm.modifier.reduction

Class ReduceOperation

java.lang.Object

org.colomoto.biolqm.modifier.reduction.ReduceOperation

public class ReduceOperation
extends Object

Rewrite a logical function to remove a regulator. This is the MDD computation at the core of model reduction.

Author:

Aurelien Naldi

See Also:

ModelReducer

Constructor Summary

Constructors

Constructor and Description
ReduceOperation(org.colomoto.mddlib.MDDManager ddmanager)

Method Summary

Modifier and Type	Method and Description
int	remove(int node, int regulator, org.colomoto.mddlib.MDDVariable rmVar) Remove regulator from its target node.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReduceOperation

public ReduceOperation(org.colomoto.mddlib.MDDManager ddmanager)

Method Detail

remove

public int remove(int node,
                  int regulator,
                  org.colomoto.mddlib.MDDVariable rmVar)

Remove regulator from its target node. This is the first part of the algorithm: we have not yet found the regulator in the logical function. It will be called recursively until we find it (or go deeper in the MDD than the corresponding variable)

Parameters:

node - the index of the MDD representing the function to rewrite

regulator - the index of MDD for the function of the reduced component

rmVar - the component to be reduced

Returns:

the index of the MDD for the rewritten function