org.colomoto.mddlib.logicalfunction

Interface OperandFactory

All Known Implementing Classes:

SimpleOperandFactory

public interface OperandFactory

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

Author:

Aurelien Naldi

Method Summary

Modifier and Type	Method and Description
FunctionNode	createOperand(String name) Create an operand object for a given name.
FunctionNode	createOperand(String name, int threshold) Create an operand object for a given name and threshold.
MDDManager	getMDDManager() get (or refresh) the MDDManager associated to this parser.
boolean	verifOperandList(List<String> list) Check that a list of names matches valid operands for this parser.

Method Detail

getMDDManager

MDDManager getMDDManager()

get (or refresh) the MDDManager associated to this parser. If it was already created calling this method may refresh it: add newly added variables, apply name changes...

Returns:

a MDD manager with the same variables as this parser.

verifOperandList

boolean verifOperandList(List<String> list)

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

Parameters:

list -

Returns:

true if all these operands are valid

createOperand

FunctionNode createOperand(String name)

Create an operand object for a given name.

Parameters:

name -

Returns:

an operand (BooleanNode) corresponding to the provided string

createOperand

FunctionNode createOperand(String name,
                           int threshold)

Create an operand object for a given name and threshold.

Parameters:

name -

Returns:

an operand corresponding to the provided name