jedd.internal
Class Backend

java.lang.Object
  jedd.internal.Backend

Direct Known Subclasses:

BuddyBackend, CuddBackend, JavabddBackend, SableBackend

public abstract class Backend
extends java.lang.Object

Nested Class Summary

protected static interface	Backend.Adder
protected static interface	Backend.Copier
protected static interface	Backend.Projector
protected class	Backend.RelationProjectorCopier
protected static interface	Backend.Replacer

Constructor Summary

Backend()

Method Summary

static void	init(java.lang.String type)
static void	init(java.lang.String type, int numNodes)
protected RelationInstance	relpc(Backend.Copier in)
protected RelationInstance	relpc(Backend.Projector in)
protected Backend.RelationProjectorCopier	relpc(RelationInstance in)
protected int	width(RelationInstance bdd, int bit1, int bit2)

Methods inherited from class java.lang.Object

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

Constructor Detail

Backend

public Backend()

Method Detail

init

public static void init(java.lang.String type)

init

public static void init(java.lang.String type,
                        int numNodes)

relpc

protected RelationInstance relpc(Backend.Projector in)

relpc

protected RelationInstance relpc(Backend.Copier in)

relpc

protected Backend.RelationProjectorCopier relpc(RelationInstance in)

width

protected int width(RelationInstance bdd,
                    int bit1,
                    int bit2)