jedd.internal
Class CuddBackend

java.lang.Object
  jedd.internal.Backend
      jedd.internal.CuddBackend

public class CuddBackend
extends Backend

Nested Class Summary

Nested classes/interfaces inherited from class jedd.internal.Backend

Backend.Adder, Backend.Copier, Backend.Projector, Backend.RelationProjectorCopier, Backend.Replacer

Field Summary

protected int

totalBits

Constructor Summary

CuddBackend()

Method Summary

RelationInstance	add(RelationInstance ri, Backend.Adder adder, long offset)
protected jedd.internal.cudd.SWIGTYPE_p_DdNode	bdd(RelationInstance in)
protected RelationInstance	bdd(jedd.internal.cudd.SWIGTYPE_p_DdNode in)
protected RelationInstance	ithVar(int i)
Backend.Adder	makeAdder(int[] from, int[] to)
protected RelationInstance	nithVar(int i)

Methods inherited from class jedd.internal.Backend

init, init, relpc, relpc, relpc, width

Methods inherited from class java.lang.Object

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

Field Detail

totalBits

protected int totalBits

Constructor Detail

CuddBackend

public CuddBackend()

Method Detail

bdd

protected jedd.internal.cudd.SWIGTYPE_p_DdNode bdd(RelationInstance in)

bdd

protected RelationInstance bdd(jedd.internal.cudd.SWIGTYPE_p_DdNode in)

ithVar

protected RelationInstance ithVar(int i)

nithVar

protected RelationInstance nithVar(int i)

makeAdder

public Backend.Adder makeAdder(int[] from,
                               int[] to)

add

public RelationInstance add(RelationInstance ri,
                            Backend.Adder adder,
                            long offset)