org.colomoto.mddlib.internal

Interface MDDStore

All Superinterfaces:

MDDManager

All Known Implementing Classes:

MDDStoreImpl

public interface MDDStore
extends MDDManager

Interface for the raw MDD store. A MDDStore is a MDDManager, which can also be used as backend for MDDManagerProxy

Author:

Aurelien Naldi

Method Summary

Modifier and Type	Method and Description
int	getNode(int var, int[] children) Retrieve or create a node in the backend.
int	getNode(int var, int lchild, int rchild) Retrieve or create a node in the backend.
byte	groupReach(int node, byte[] values, int[] orderMap) Find the leaf reached for a given group of variable assignment and custom order.
int	nodeFromState(byte[] state, int value, int[] orderMap) Helper to build a node from a state in proxy views.
byte	reach(int node, byte[] values, int[] orderMap) Find the leaf reached for a given variable assignment and custom order.

Methods inherited from interface org.colomoto.mddlib.MDDManager

collectDecisionVariables, dumpMDD, ensureVariable, free, getAllVariables, getChild, getChildren, getLeafCount, getManager, getMultivaluedVariableEffect, getNodeCount, getNodeVariable, getRelation, getSign, getVariableEffect, getVariableForKey, getVariableIndex, groupReach, isleaf, isView, mnot, nodeFromState, nodeFromStates, not, parseDump, reach, use

Method Detail

getNode

int getNode(int var,
            int lchild,
            int rchild)

Retrieve or create a node in the backend. This is called by MDDVariable.getNode() or by internal store methods: it should not be used directly.

Parameters:

var -

lchild -

rchild -

Returns:

the index of the requested node

getNode

int getNode(int var,
            int[] children)

Retrieve or create a node in the backend. This is called by MDDVariable.getNode() or by internal store methods: it should not be used directly.

Parameters:

var -

children -

Returns:

the index of the requested node

reach

byte reach(int node,
           byte[] values,
           int[] orderMap)

Find the leaf reached for a given variable assignment and custom order. This is used by proxy MDDManager to implement reach(int byte[])

Parameters:

node -

values -

Returns:

the reached leaf

groupReach

byte groupReach(int node,
                byte[] values,
                int[] orderMap)

Find the leaf reached for a given group of variable assignment and custom order. This is used by proxy MDDManager to implement groupReach(int byte[])

Parameters:

node -

values -

Returns:

the reached leaf

nodeFromState

int nodeFromState(byte[] state,
                  int value,
                  int[] orderMap)

Helper to build a node from a state in proxy views.

Parameters:

state -

value -

orderMap -

Returns: