org.colomoto.mddlib.operators

Class MDDBaseOperators

java.lang.Object

org.colomoto.mddlib.operators.MDDBaseOperators

public class MDDBaseOperators
extends Object

Collection of classical MDDOperators.

Author:

Aurelien Naldi

Field Summary

Fields

Modifier and Type	Field and Description
static MDDOperator	AND the AND operator.
static MDDOperator	OR the OR operator.
static MDDOperator	OVER the OVERLOAD operator.
static MDDOperator[]	OVERV the OVERLOAD at 0 operator.

Method Summary

Modifier and Type	Method and Description
static MDDOperator	OVEROPERATOR(int v)

Methods inherited from class java.lang.Object

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

Field Detail

AND

public static final MDDOperator AND

the AND operator.

OR

public static final MDDOperator OR

the OR operator.

OVER

public static final MDDOperator OVER

the OVERLOAD operator.

OVERV

public static final MDDOperator[] OVERV

the OVERLOAD at 0 operator.

Method Detail

OVEROPERATOR

public static MDDOperator OVEROPERATOR(int v)