jedd.internal
Class BuddyBackend

java.lang.Object
  jedd.internal.Backend
      jedd.internal.BuddyBackend

public class BuddyBackend
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

BuddyBackend()

Method Summary

protected RelationInstance	bdd(int in)
protected int	bdd(RelationInstance in)
protected RelationInstance	ithVar(int i)
protected RelationInstance	nithVar(int i)
protected int	width(RelationInstance bdd, int bit1, int bit2)

Methods inherited from class jedd.internal.Backend

init, init, relpc, relpc, relpc

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

BuddyBackend

public BuddyBackend()

Method Detail

bdd

protected int bdd(RelationInstance in)

bdd

protected RelationInstance bdd(int in)

ithVar

protected RelationInstance ithVar(int i)

nithVar

protected RelationInstance nithVar(int i)

width

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

Overrides:

width in class Backend