org.colomoto.mddlib.logicalfunction

Class AbstractOperand

java.lang.Object

org.colomoto.mddlib.logicalfunction.AbstractOperand

All Implemented Interfaces:

FunctionNode

public abstract class AbstractOperand
extends Object
implements FunctionNode

An operand in a logical function.

This object depends on the type of logical function and needs specialised implementations.

Author:

Fabrice Lopez: initial implementation, Aurelien Naldi: adaptation

Constructor Summary

Constructors

Constructor and Description
AbstractOperand()

Method Summary

Modifier and Type	Method and Description
int	getMDD(MDDManager ddmanager) Construct a MDD corresponding to this logical function.
abstract Object	getMDDVariableKey()
int	getRangeEnd()
int	getRangeStart()
boolean	isLeaf() Is it a leaf? Only used to help some toString methods.
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.colomoto.mddlib.logicalfunction.FunctionNode

toString

Constructor Detail

AbstractOperand

public AbstractOperand()

Method Detail

isLeaf

public boolean isLeaf()

Description copied from interface: FunctionNode

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

Specified by:

isLeaf in interface FunctionNode

Returns:

true if this node is a leaf

toString

public String toString()

Overrides:

toString in class Object

getMDDVariableKey

public abstract Object getMDDVariableKey()

Returns:

the key associated to this MDD variable.

See Also:

MDDManager.getVariableForKey(Object)

getRangeStart

public int getRangeStart()

Returns:

the first value of the range for which this operand is true

getRangeEnd

public int getRangeEnd()

Returns:

the last value of the range for which this operand is true

getMDD

public int getMDD(MDDManager ddmanager)

Description copied from interface: FunctionNode

Construct a MDD corresponding to this logical function.

Specified by:

getMDD in interface FunctionNode

Parameters:

ddmanager - the MDDManager in which the MDD will be stored.

Returns:

the index of the corresponding MDD root.