A C D E F G H I K L M N O P R S T U V

A

AbstractBinaryOperator - Class in org.colomoto.mddlib.logicalfunction.operators

Common methods for nodes denoting binary operators (and, or).

AbstractBinaryOperator(FunctionNode, FunctionNode) - Constructor for class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

AbstractBinaryOperator(Stack<FunctionNode>) - Constructor for class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

AbstractFlexibleOperator - Class in org.colomoto.mddlib.operators

Base class for quick prototyping of new complex operators.

AbstractFlexibleOperator(AbstractFlexibleOperator.MergeAction, boolean) - Constructor for class org.colomoto.mddlib.operators.AbstractFlexibleOperator

Create a new operator

AbstractFlexibleOperator(AbstractFlexibleOperator.MergeAction) - Constructor for class org.colomoto.mddlib.operators.AbstractFlexibleOperator

Create a new operator.

AbstractFlexibleOperator.MergeAction - Enum in org.colomoto.mddlib.operators

Supported actions while merging.

AbstractOperand - Class in org.colomoto.mddlib.logicalfunction

An operand in a logical function.

AbstractOperand() - Constructor for class org.colomoto.mddlib.logicalfunction.AbstractOperand

AbstractOperator - Class in org.colomoto.mddlib.logicalfunction.operators

Common methods for internal nodes (operators).

AbstractOperator() - Constructor for class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

AbstractOperator - Class in org.colomoto.mddlib.operators

Common (boring) part of a MDDOperator implementation.

AbstractOperator() - Constructor for class org.colomoto.mddlib.operators.AbstractOperator

Create an operator which does not support multiple merge.

AbstractOperator(boolean) - Constructor for class org.colomoto.mddlib.operators.AbstractOperator

Create an operator.

AbstractUnaryOperator - Class in org.colomoto.mddlib.logicalfunction.operators

Common methods for unary operators (only not for now).

AbstractUnaryOperator(Stack<FunctionNode>) - Constructor for class org.colomoto.mddlib.logicalfunction.operators.AbstractUnaryOperator

AbstractUnaryOperator(FunctionNode) - Constructor for class org.colomoto.mddlib.logicalfunction.operators.AbstractUnaryOperator

add(Object, byte) - Method in class org.colomoto.mddlib.MDDVariableFactory

Add a multi-valued variable to the list.

addFactory(OperatorFactory) - Method in class org.colomoto.mddlib.logicalfunction.OperatorCollection

after(MDDVariable) - Method in class org.colomoto.mddlib.MDDVariable

Test if this variable comes after another variable.

AND - Static variable in class org.colomoto.mddlib.operators.MDDBaseOperators

the AND operator.

AndOperatorFactory - Class in org.colomoto.mddlib.logicalfunction.operators

Factory for the "and" operator.

arg - Variable in class org.colomoto.mddlib.logicalfunction.operators.AbstractUnaryOperator

ask(MDDManager, NodeRelation, int, int) - Method in class org.colomoto.mddlib.operators.AbstractFlexibleOperator

if some cases need more info to be tested, put the ASKME value in the array t and implement this complementary function.

C

collectDecisionVariables(int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

collectDecisionVariables(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

collectDecisionVariables(int) - Method in interface org.colomoto.mddlib.MDDManager

Collect variables on which a MDD depends.

combine(MDDManager, int, int) - Method in interface org.colomoto.mddlib.MDDOperator

Combine two MDDs and return the result.

combine(MDDManager, int[]) - Method in interface org.colomoto.mddlib.MDDOperator

Combine a group of nodes at once.

combine(MDDManager, int, int) - Method in class org.colomoto.mddlib.operators.AbstractFlexibleOperator

combine(MDDManager, int[]) - Method in class org.colomoto.mddlib.operators.AbstractOperator

Apply this operation to a set of nodes.

combine(VariableEffect) - Method in enum org.colomoto.mddlib.VariableEffect

compile(OperandFactory, String) - Method in class org.colomoto.mddlib.logicalfunction.FunctionParser

Compile a logical function.

countPaths() - Method in class org.colomoto.mddlib.PathSearcher

Count the number of paths found for the current node.

createOperand(String) - Method in interface org.colomoto.mddlib.logicalfunction.OperandFactory

Create an operand object for a given name.

createOperand(String, int) - Method in interface org.colomoto.mddlib.logicalfunction.OperandFactory

Create an operand object for a given name and threshold.

createOperand(String) - Method in class org.colomoto.mddlib.logicalfunction.SimpleOperandFactory

createOperand(String, int) - Method in class org.colomoto.mddlib.logicalfunction.SimpleOperandFactory

createOperator(String, Stack<FunctionNode>) - Method in class org.colomoto.mddlib.logicalfunction.OperatorCollection

Create a node corresponding to the parsed logical function.

custom(MDDManager, NodeRelation, int, int) - Method in class org.colomoto.mddlib.operators.AbstractFlexibleOperator

put the CUSTOM value in t and implement this function to add more complex behaviours.

custom(MDDManager, NodeRelation, int, int) - Method in class org.colomoto.mddlib.operators.OverwriteOperator

D

debug() - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

print raw data structure (hashcodes, hashitems and data blocs).

DEFAULT_OPERATORS - Static variable in class org.colomoto.mddlib.logicalfunction.OperatorCollection

a collection of classical operators: and, or, not

dumpMDD(int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

dumpMDD(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

dumpMDD(int) - Method in interface org.colomoto.mddlib.MDDManager

Write a raw text representation of the MDD

E

ensureVariable(Object, byte) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

ensureVariable(Object, byte) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

ensureVariable(Object, byte) - Method in interface org.colomoto.mddlib.MDDManager

get a variable, create it if needed.

equals(Object) - Method in class org.colomoto.mddlib.MDDVariable

F

FACTORY - Static variable in class org.colomoto.mddlib.logicalfunction.operators.AndOperatorFactory

Use this single instance object if you need this factory

FACTORY - Static variable in class org.colomoto.mddlib.logicalfunction.operators.NotOperatorFactory

Use this single instance object if you need this factory

FACTORY - Static variable in class org.colomoto.mddlib.logicalfunction.operators.OrOperatorFactory

Use this single instance object if you need this factory

FALSE - Static variable in class org.colomoto.mddlib.logicalfunction.ValueNode

free(int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

free(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

free(int) - Method in interface org.colomoto.mddlib.MDDManager

Free a node.

FunctionNode - Interface in org.colomoto.mddlib.logicalfunction

Common interface for all nodes in the trees representing logical functions.

FunctionParser - Class in org.colomoto.mddlib.logicalfunction

Parser for logical functions.

FunctionParser() - Constructor for class org.colomoto.mddlib.logicalfunction.FunctionParser

Create a parser using the default set of operators.

FunctionParser(OperatorCollection) - Constructor for class org.colomoto.mddlib.logicalfunction.FunctionParser

Create a parser with a custom set of operators.

G

get(int) - Method in interface org.colomoto.mddlib.IndexMapper

getAllVariables() - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getAllVariables() - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getAllVariables() - Method in interface org.colomoto.mddlib.MDDManager

Get all MDDVariables in this manager.

getArgs() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

getArgs() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

getArgs() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractUnaryOperator

getChild(int, int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getChild(int, int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getChild(int, int) - Method in interface org.colomoto.mddlib.MDDManager

Get a specific child for a node.

getChildren(int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getChildren(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getChildren(int) - Method in interface org.colomoto.mddlib.MDDManager

Get all the children of a given node.

getComparator(MDDManager, MDDManager) - Static method in class org.colomoto.mddlib.MDDComparatorFactory

Get a comparator for the two specified MDDManagers.

getLeafCount() - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getLeafCount() - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getLeafCount() - Method in interface org.colomoto.mddlib.MDDManager

Get the number of leaves

getManager(List<?>) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getManager(List<?>) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getManager(List<?>) - Method in interface org.colomoto.mddlib.MDDManager

Get a new manager for this MDD Store, using a custom variable order.

getManager(MDDVariableFactory, int) - Static method in class org.colomoto.mddlib.MDDManagerFactory

Get a new MDDManager using a MDDVariableFactory.

getManager(Collection<?>, int) - Static method in class org.colomoto.mddlib.MDDManagerFactory

Get a new MDDManager using a normal list of variables.

getMax() - Method in class org.colomoto.mddlib.PathSearcher

Get the int[] used to store max values if this searcher detects intervals.

getMDD(MDDManager) - Method in class org.colomoto.mddlib.logicalfunction.AbstractOperand

getMDD(MDDManager) - Method in interface org.colomoto.mddlib.logicalfunction.FunctionNode

Construct a MDD corresponding to this logical function.

getMDD(MDDManager) - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

getMDD(MDDManager) - Method in class org.colomoto.mddlib.logicalfunction.ValueNode

getMDDManager() - Method in interface org.colomoto.mddlib.logicalfunction.OperandFactory

get (or refresh) the MDDManager associated to this parser.

getMDDManager() - Method in class org.colomoto.mddlib.logicalfunction.SimpleOperandFactory

getMDDOperation() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

getMDDVariableKey() - Method in class org.colomoto.mddlib.logicalfunction.AbstractOperand

getMultivaluedVariableEffect(MDDVariable, int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getMultivaluedVariableEffect(MDDVariable, int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getMultivaluedVariableEffect(MDDVariable, int) - Method in interface org.colomoto.mddlib.MDDManager

Determine the effect of a given variable on a MDD.

getNbArgs() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

getNbArgs() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

getNbArgs() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractUnaryOperator

getNbValue(Object) - Method in class org.colomoto.mddlib.MDDVariableFactory

Retrieve the number of values for a given variable.

getNode(int, int, int) - Method in interface org.colomoto.mddlib.internal.MDDStore

Retrieve or create a node in the backend.

getNode(int, int[]) - Method in interface org.colomoto.mddlib.internal.MDDStore

Retrieve or create a node in the backend.

getNode(int, int, int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getNode(int, int[]) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getNode(Stack<FunctionNode>) - Method in interface org.colomoto.mddlib.logicalfunction.OperatorFactory

Build a node representing this operator applied to the current parsing stack.

getNode(Stack<FunctionNode>) - Method in class org.colomoto.mddlib.logicalfunction.operators.AndOperatorFactory

getNode(FunctionNode, FunctionNode) - Method in class org.colomoto.mddlib.logicalfunction.operators.AndOperatorFactory

getNode(Stack<FunctionNode>) - Method in class org.colomoto.mddlib.logicalfunction.operators.NotOperatorFactory

getNode(FunctionNode) - Method in class org.colomoto.mddlib.logicalfunction.operators.NotOperatorFactory

getNode(Stack<FunctionNode>) - Method in class org.colomoto.mddlib.logicalfunction.operators.OrOperatorFactory

getNode(FunctionNode, FunctionNode) - Method in class org.colomoto.mddlib.logicalfunction.operators.OrOperatorFactory

getNode(int) - Method in class org.colomoto.mddlib.logicalfunction.ValueNode

getNode(int, int) - Method in class org.colomoto.mddlib.MDDVariable

get a boolean node.

getNode(int[]) - Method in class org.colomoto.mddlib.MDDVariable

Get a multi-valued node.

getNodeCount() - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getNodeCount() - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getNodeCount() - Method in interface org.colomoto.mddlib.MDDManager

getNodeForValue(int, int) - Method in class org.colomoto.mddlib.MDDVariable

getNodeFree(int, int) - Method in class org.colomoto.mddlib.MDDVariable

Get a Boolean node and release the provided children.

getNodeFree(int[]) - Method in class org.colomoto.mddlib.MDDVariable

Get a node and release the provided children.

getNodeVariable(int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getNodeVariable(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getNodeVariable(int) - Method in interface org.colomoto.mddlib.MDDManager

Get the variable associated to a given node.

getOperators() - Method in class org.colomoto.mddlib.logicalfunction.OperatorCollection

getOverwriteAction(int) - Static method in class org.colomoto.mddlib.operators.OverwriteOperator

getPath() - Method in class org.colomoto.mddlib.PathSearcher

Get the int[] used to store the found path.

getPriority(String) - Method in class org.colomoto.mddlib.logicalfunction.OperatorCollection

get the priority level of a given operator.

getPriority() - Method in interface org.colomoto.mddlib.logicalfunction.OperatorFactory

Get the priority level of a given operator.

getPriority() - Method in class org.colomoto.mddlib.logicalfunction.operators.AndOperatorFactory

getPriority() - Method in class org.colomoto.mddlib.logicalfunction.operators.NotOperatorFactory

getPriority() - Method in class org.colomoto.mddlib.logicalfunction.operators.OrOperatorFactory

getProxy(MDDStore, List<?>) - Static method in class org.colomoto.mddlib.internal.MDDManagerProxy

getRangeEnd() - Method in class org.colomoto.mddlib.logicalfunction.AbstractOperand

getRangeStart() - Method in class org.colomoto.mddlib.logicalfunction.AbstractOperand

getRegex() - Method in class org.colomoto.mddlib.logicalfunction.OperatorCollection

getRelation(int, int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getRelation(int, int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getRelation(int, int) - Method in interface org.colomoto.mddlib.MDDManager

Determine the relation between two nodes.

getSign(int, MDDVariable) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getSign(int, MDDVariable) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getSign(int, MDDVariable) - Method in interface org.colomoto.mddlib.MDDManager

Infer the effect of a variable in a given MDD.

getSimpleMapper(Map<Integer, Integer>) - Static method in interface org.colomoto.mddlib.IndexMapper

getSimpleNode(int, int, int, int) - Method in class org.colomoto.mddlib.MDDVariable

Get a node for the specified variable with two different children: a "true" child in the specified range and a "false" one outside.

getSymbol() - Method in interface org.colomoto.mddlib.logicalfunction.OperatorFactory

Get the symbol for this operator.

getSymbol() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

getSymbol() - Method in class org.colomoto.mddlib.logicalfunction.operators.AndOperatorFactory

getSymbol() - Method in class org.colomoto.mddlib.logicalfunction.operators.NotOperatorFactory

getSymbol() - Method in class org.colomoto.mddlib.logicalfunction.operators.OrOperatorFactory

getVariableEffect(MDDVariable, int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getVariableEffect(MDDVariable, int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getVariableEffect(MDDVariable, int) - Method in interface org.colomoto.mddlib.MDDManager

Determine the effect of a given variable on a MDD.

getVariableForKey(Object) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getVariableForKey(Object) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getVariableForKey(Object) - Method in interface org.colomoto.mddlib.MDDManager

Get the MDDVariable associated to a given key.

getVariableIndex(MDDVariable) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

getVariableIndex(MDDVariable) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

getVariableIndex(MDDVariable) - Method in interface org.colomoto.mddlib.MDDManager

Get the position of a given variable in this manager's list of variables.

groupReach(int, byte[]) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

groupReach(int, byte[], int[]) - Method in interface org.colomoto.mddlib.internal.MDDStore

Find the leaf reached for a given group of variable assignment and custom order.

groupReach(int, byte[]) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

groupReach(int, byte[], int[]) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

groupReach(int, byte[]) - Method in interface org.colomoto.mddlib.MDDManager

Get the value reached by a group of paths.

H

hashCode() - Method in class org.colomoto.mddlib.MDDVariable

I

IndexMapper - Interface in org.colomoto.mddlib

isleaf(int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

isleaf(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

isLeaf() - Method in class org.colomoto.mddlib.logicalfunction.AbstractOperand

isLeaf() - Method in interface org.colomoto.mddlib.logicalfunction.FunctionNode

Is it a leaf? Only used to help some toString methods.

isLeaf() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

isLeaf() - Method in class org.colomoto.mddlib.logicalfunction.ValueNode

isleaf(int) - Method in interface org.colomoto.mddlib.MDDManager

isView(MDDManager) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

isView(MDDManager) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

isView(MDDManager) - Method in interface org.colomoto.mddlib.MDDManager

iterator() - Method in class org.colomoto.mddlib.PathSearcher

K

key - Variable in class org.colomoto.mddlib.MDDVariable

Key used to create the variable.

L

leftArg - Variable in class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

lock() - Method in class org.colomoto.mddlib.operators.AbstractFlexibleOperator

Lock the operator so that the actions can no more be changed.

M

mapMDD(int) - Method in class org.colomoto.mddlib.MDDMapper

MDDBaseOperators - Class in org.colomoto.mddlib.operators

Collection of classical MDDOperators.

MDDComparator - Interface in org.colomoto.mddlib

Compare MDDs across Managers.

MDDComparatorFactory - Class in org.colomoto.mddlib

Create comparators for MDDs across Managers.

MDDComparatorFactory() - Constructor for class org.colomoto.mddlib.MDDComparatorFactory

MDDManager - Interface in org.colomoto.mddlib

A MDD manager is responsible for the creation, storage, retrieval, combination and cleanup of a collection of multi-valued decision diagrams (MDDs).

MDDManagerFactory - Class in org.colomoto.mddlib

Create MDDManager instances.

MDDManagerFactory() - Constructor for class org.colomoto.mddlib.MDDManagerFactory

MDDManagerProxy - Class in org.colomoto.mddlib.internal

MDDManager adding a custom order on top of an existing MDDStore.

MDDMapper - Class in org.colomoto.mddlib

Map Decision diagrams from one manager to another.

MDDMapper(MDDManager, MDDManager, IndexMapper) - Constructor for class org.colomoto.mddlib.MDDMapper

MDDOperator - Interface in org.colomoto.mddlib

Definition of operators that can be used to combine MDD nodes.

MDDStore - Interface in org.colomoto.mddlib.internal

Interface for the raw MDD store.

MDDStoreImpl - Class in org.colomoto.mddlib.internal

MDD factory implementation: create, store, retrieve a collection of MDDs.

MDDStoreImpl(Collection<?>, int) - Constructor for class org.colomoto.mddlib.internal.MDDStoreImpl

Create a new MDDStore using the default capacity.

MDDVariable - Class in org.colomoto.mddlib

Definition of a multi-valued variable used in a MDDManager.

MDDVariable(MDDStore, int, Object, byte) - Constructor for class org.colomoto.mddlib.MDDVariable

MDDVariableFactory - Class in org.colomoto.mddlib

List of variables with an associated maximal value.

MDDVariableFactory() - Constructor for class org.colomoto.mddlib.MDDVariableFactory

mnot(int, int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

mnot(int, int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

mnot(int, int) - Method in interface org.colomoto.mddlib.MDDManager

Multi-valued not: flip leaves 0 and v.

multiple_leaves(MDDManager, int[]) - Method in class org.colomoto.mddlib.operators.AbstractOperator

Get the result of a multiple merge when only leaves are left.

N

nbval - Variable in class org.colomoto.mddlib.MDDVariable

Number of possible values for this variable.

nodeFromState(byte[], int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

nodeFromState(byte[], int, int[]) - Method in interface org.colomoto.mddlib.internal.MDDStore

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

nodeFromState(byte[], int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

nodeFromState(byte[], int, int[]) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

nodeFromState(byte[], int) - Method in interface org.colomoto.mddlib.MDDManager

Create a MDD representing a state.

nodeFromStates(Collection<byte[]>, int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

nodeFromStates(Collection<byte[]>, int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

nodeFromStates(Collection<byte[]>, int) - Method in interface org.colomoto.mddlib.MDDManager

Create a MDD representing a group of states.

NodeRelation - Enum in org.colomoto.mddlib

List of possible relations between two nodes.

not(int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

not(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

not(int) - Method in interface org.colomoto.mddlib.MDDManager

Logical not, performed by flipping leaves 0 and 1.

NotOperatorFactory - Class in org.colomoto.mddlib.logicalfunction.operators

Factory for the "not" operator.

O

OperandFactory - Interface in org.colomoto.mddlib.logicalfunction

A factory to create operands (leaves in a logical function) and associate them to MDDVariables.

OperatorCollection - Class in org.colomoto.mddlib.logicalfunction

Define a collection of operators to be used by a BooleanParser.

OperatorCollection() - Constructor for class org.colomoto.mddlib.logicalfunction.OperatorCollection

OperatorFactory - Interface in org.colomoto.mddlib.logicalfunction

Create FunctionNode for a given operator.

OR - Static variable in class org.colomoto.mddlib.operators.MDDBaseOperators

the OR operator.

order - Variable in class org.colomoto.mddlib.MDDVariable

Rank of this variable in the MDDmanager.

org.colomoto.mddlib - package org.colomoto.mddlib

Simple Multi-valued Decision Diagram (MDD) toolkit.

org.colomoto.mddlib.internal - package org.colomoto.mddlib.internal

Implementation details for the interfaces in org.colomoto.mddlib

org.colomoto.mddlib.logicalfunction - package org.colomoto.mddlib.logicalfunction

MDD-aware data-structure for logical functions.

org.colomoto.mddlib.logicalfunction.operators - package org.colomoto.mddlib.logicalfunction.operators

implementation of some basic operators for logical functions.

org.colomoto.mddlib.operators - package org.colomoto.mddlib.operators

Default implementations of MDDOperator

OrOperatorFactory - Class in org.colomoto.mddlib.logicalfunction.operators

Factory for the "or" operator.

OVER - Static variable in class org.colomoto.mddlib.operators.MDDBaseOperators

the OVERLOAD operator.

OVEROPERATOR(int) - Static method in class org.colomoto.mddlib.operators.MDDBaseOperators

OVERV - Static variable in class org.colomoto.mddlib.operators.MDDBaseOperators

the OVERLOAD at 0 operator.

OverwriteOperator - Class in org.colomoto.mddlib.operators

Update a MDD by overwriting some of its leaves according to another MDD.

P

parseDump(String) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

parseDump(String) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

parseDump(String) - Method in interface org.colomoto.mddlib.MDDManager

Create a MDD from a dumped structure

parser - Variable in class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

PathSearcher - Class in org.colomoto.mddlib

Iterate over the paths in MDDs, optionally filtering on the leaf values.

PathSearcher(MDDManager) - Constructor for class org.colomoto.mddlib.PathSearcher

Create a new path searcher accepting any value (negative leaves are not allowed)

PathSearcher(MDDManager, boolean) - Constructor for class org.colomoto.mddlib.PathSearcher

Create a new path searcher accepting any value (negative leaves are not allowed) and detecting intervals

PathSearcher(MDDManager, int) - Constructor for class org.colomoto.mddlib.PathSearcher

Create a new path searcher, with a single value.

PathSearcher(MDDManager, int, boolean) - Constructor for class org.colomoto.mddlib.PathSearcher

Create a new path searcher, with a single value and detecting intervals

PathSearcher(MDDManager, int, int) - Constructor for class org.colomoto.mddlib.PathSearcher

Create a new path searcher, with a value range.

PathSearcher(MDDManager, int, int, boolean) - Constructor for class org.colomoto.mddlib.PathSearcher

printNode(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

Debug helper: print a MDD on standard output.

PRIORITY - Static variable in class org.colomoto.mddlib.logicalfunction.operators.AndOperatorFactory

PRIORITY - Static variable in class org.colomoto.mddlib.logicalfunction.operators.NotOperatorFactory

PRIORITY - Static variable in class org.colomoto.mddlib.logicalfunction.operators.OrOperatorFactory

R

reach(int, byte[]) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

reach(int, byte[], int[]) - Method in interface org.colomoto.mddlib.internal.MDDStore

Find the leaf reached for a given variable assignment and custom order.

reach(int, byte[]) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

reach(int, byte[], int[]) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

reach(int, byte[]) - Method in interface org.colomoto.mddlib.MDDManager

Find the leaf reached for a given variable assignment

recurse(MDDManager, NodeRelation, int, int) - Method in class org.colomoto.mddlib.operators.AbstractOperator

Common logic for recursive operation.

recurse_multiple(MDDManager, int[], int, MDDVariable) - Method in class org.colomoto.mddlib.operators.AbstractOperator

The recursive part of the multiple merge.

returnClassName - Variable in class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

rightArg - Variable in class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

S

selectFirstVariable(MDDVariable, MDDVariable) - Static method in class org.colomoto.mddlib.MDDVariable

Get the variable with the best priority.

setAction(NodeRelation, AbstractFlexibleOperator.MergeAction) - Method in class org.colomoto.mddlib.operators.AbstractFlexibleOperator

Define the action applied for a given relation between the merged nodes.

setNode(int) - Method in class org.colomoto.mddlib.PathSearcher

Start looking up path for a new node.

similar(int, int) - Method in interface org.colomoto.mddlib.MDDComparator

Test if two nodes correspond to the same MDD.

SimpleOperandFactory<T> - Class in org.colomoto.mddlib.logicalfunction

Simple factory for logical function operands, using a list of predefined operands.

SimpleOperandFactory(List<T>) - Constructor for class org.colomoto.mddlib.logicalfunction.SimpleOperandFactory

Create a parser with a predefined list of operands.

SYMBOL - Static variable in class org.colomoto.mddlib.logicalfunction.operators.AndOperatorFactory

SYMBOL - Static variable in class org.colomoto.mddlib.logicalfunction.operators.NotOperatorFactory

SYMBOL - Static variable in class org.colomoto.mddlib.logicalfunction.operators.OrOperatorFactory

T

toString() - Method in class org.colomoto.mddlib.logicalfunction.AbstractOperand

toString(boolean) - Method in interface org.colomoto.mddlib.logicalfunction.FunctionNode

toString(boolean) - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

toString() - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

toString(boolean) - Method in class org.colomoto.mddlib.logicalfunction.operators.AbstractUnaryOperator

toString(boolean) - Method in class org.colomoto.mddlib.logicalfunction.ValueNode

toString() - Method in class org.colomoto.mddlib.MDDVariable

TRUE - Static variable in class org.colomoto.mddlib.logicalfunction.ValueNode

U

use(int) - Method in class org.colomoto.mddlib.internal.MDDManagerProxy

use(int) - Method in class org.colomoto.mddlib.internal.MDDStoreImpl

use(int) - Method in interface org.colomoto.mddlib.MDDManager

Mark a node as used.

V

ValueNode - Class in org.colomoto.mddlib.logicalfunction

Terminal FunctionNode representing fixed value

valueOf(String) - Static method in enum org.colomoto.mddlib.NodeRelation

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.colomoto.mddlib.operators.AbstractFlexibleOperator.MergeAction

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.colomoto.mddlib.VariableEffect

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.colomoto.mddlib.NodeRelation

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.colomoto.mddlib.operators.AbstractFlexibleOperator.MergeAction

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.colomoto.mddlib.VariableEffect

Returns an array containing the constants of this enum type, in the order they are declared.

VariableEffect - Enum in org.colomoto.mddlib

Define the possible effects of a variable on a MDD.

variables - Variable in class org.colomoto.mddlib.internal.MDDStoreImpl

verifOperandList(List<String>) - Method in interface org.colomoto.mddlib.logicalfunction.OperandFactory

Check that a list of names matches valid operands for this parser.

verifOperandList(List<String>) - Method in class org.colomoto.mddlib.logicalfunction.SimpleOperandFactory

A C D E F G H I K L M N O P R S T U V