sdd

Class SDDTreeDisjunctionConstructor

java.lang.Object

sdd.SDDTreeDisjunctionConstructor

public class SDDTreeDisjunctionConstructor
extends java.lang.Object

A SDDTreeDisjunctionConstructor, i.e., an SDD Tree Disjunction constructor, is an object in charge of building an SDD Tree Disjunction. It deals, e.g., with the fact that the second parts of the conjunctions must be pair-wise different. It does not deal with the fact that the first parts must not intersect.

Constructor Summary

Constructors

Constructor and Description
SDDTreeDisjunctionConstructor(SDDMemory mem) Starts a constructor that uses the specified SDD Memory.

Method Summary

Methods

Modifier and Type	Method and Description
void	add(SDDTree prime, SDDTree sub) Adds the specified disjunction element to the constructor.
SDDTree	get() Returns the result of this construction.

Methods inherited from class java.lang.Object

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

Constructor Detail

SDDTreeDisjunctionConstructor

public SDDTreeDisjunctionConstructor(SDDMemory mem)

Starts a constructor that uses the specified SDD Memory.

Parameters:

mem - the memory used to store the results of known operations.

Method Detail

add

public void add(SDDTree prime,
       SDDTree sub)

Adds the specified disjunction element to the constructor. If there already exists an element with the same second sub, the element's prime and the specified prime are merged.

Parameters:

prime - the prime of the conjunction.

sub - the sub of the conjunction.

get

public SDDTree get()

Returns the result of this construction. Everything computed by this constructor will subsequently be destroyed and the constructor should no longer be used.

Returns:

the SDD tree that has been constructed. It may not be a disjunction if it turns out to be a constant.