org.colomoto.mddlib.logicalfunction

Class SimpleOperandFactory<T>

java.lang.Object

org.colomoto.mddlib.logicalfunction.SimpleOperandFactory<T>

All Implemented Interfaces:

OperandFactory

public class SimpleOperandFactory<T>
extends Object
implements OperandFactory

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

Author:

Aurelien Naldi

Constructor Summary

Constructors

Constructor and Description
SimpleOperandFactory(List<T> operands) Create a parser with a predefined list of operands.

Method Summary

Modifier and Type	Method and Description
AbstractOperand	createOperand(String name) Create an operand object for a given name.
AbstractOperand	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.

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleOperandFactory

public SimpleOperandFactory(List<T> operands)

Create a parser with a predefined list of operands.

Parameters:

operands -

Method Detail

verifOperandList

public boolean verifOperandList(List<String> list)

Description copied from interface: OperandFactory

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

Specified by:

verifOperandList in interface OperandFactory

Returns:

true if all these operands are valid

createOperand

public AbstractOperand createOperand(String name)

Description copied from interface: OperandFactory

Create an operand object for a given name.

Specified by:

createOperand in interface OperandFactory

Returns:

an operand (BooleanNode) corresponding to the provided string

createOperand

public AbstractOperand createOperand(String name,
                                     int threshold)

Description copied from interface: OperandFactory

Create an operand object for a given name and threshold.

Specified by:

createOperand in interface OperandFactory

Returns:

an operand corresponding to the provided name

getMDDManager

public MDDManager getMDDManager()

Description copied from interface: OperandFactory

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...

Specified by:

getMDDManager in interface OperandFactory

Returns:

a MDD manager with the same variables as this parser.