org.colomoto.mddlib.logicalfunction.operators

Class AbstractBinaryOperator

java.lang.Object

org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

org.colomoto.mddlib.logicalfunction.operators.AbstractBinaryOperator

All Implemented Interfaces:

FunctionNode

public abstract class AbstractBinaryOperator
extends AbstractOperator

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

Author:

Fabrice Lopez: initial implementation, Aurelien Naldi: adaptation

Field Summary

Fields

Modifier and Type	Field and Description
protected FunctionNode	leftArg
protected FunctionNode	rightArg

Fields inherited from class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

parser, returnClassName

Constructor Summary

Constructors

Constructor and Description
AbstractBinaryOperator(FunctionNode leftArg, FunctionNode rightArg)
AbstractBinaryOperator(Stack<FunctionNode> stack)

Method Summary

Modifier and Type	Method and Description
FunctionNode[]	getArgs()
int	getMDD(MDDManager ddmanager) Construct a MDD corresponding to this logical function.
protected abstract MDDOperator	getMDDOperation()
int	getNbArgs()
String	toString(boolean par)

Methods inherited from class org.colomoto.mddlib.logicalfunction.operators.AbstractOperator

getSymbol, isLeaf, toString

Methods inherited from class java.lang.Object

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

Field Detail

leftArg

protected final FunctionNode leftArg

rightArg

protected final FunctionNode rightArg

Constructor Detail

AbstractBinaryOperator

public AbstractBinaryOperator(FunctionNode leftArg,
                              FunctionNode rightArg)

AbstractBinaryOperator

public AbstractBinaryOperator(Stack<FunctionNode> stack)

Method Detail

toString

public String toString(boolean par)

Parameters:

par - if true, add surrounding parenthesis.

Returns:

a string representation of this logical function.

getNbArgs

public int getNbArgs()

Specified by:

getNbArgs in class AbstractOperator

getArgs

public FunctionNode[] getArgs()

Specified by:

getArgs in class AbstractOperator

getMDD

public int getMDD(MDDManager ddmanager)

Description copied from interface: FunctionNode

Construct a MDD corresponding to this logical function.

Parameters:

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

Returns:

the index of the corresponding MDD root.

getMDDOperation

protected abstract MDDOperator getMDDOperation()