org.colomoto.biolqm.modifier.reverse

Class ReverseOperation

java.lang.Object

org.colomoto.biolqm.modifier.reverse.ReverseOperation

public class ReverseOperation
extends Object

Reverse a node according to a given variable. This allows the construction of a model with the reversed dynamical behaviour, for example to find backward reachable states.

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
ReverseOperation(org.colomoto.mddlib.MDDManager manager)

Method Summary

Modifier and Type	Method and Description
int	reverse(org.colomoto.mddlib.MDDVariable var, int node) Reverse a node.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReverseOperation

public ReverseOperation(org.colomoto.mddlib.MDDManager manager)

Method Detail

reverse

public int reverse(org.colomoto.mddlib.MDDVariable var,
                   int node)

Reverse a node. if the node does not contain the target variable, it amounts to a regular negation. On the target variable, the two children are swapped in addition to being negated.

Parameters:

var - the component being reversed

node - the identifier of the MDD for the (part of) reversed function

Returns:

the identifier of the MDD for the reversed function