jedd.internal
Class SableBackend

java.lang.Object
  jedd.internal.Backend
      jedd.internal.SableBackend

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

SableBackend()

Method Summary

RelationInstance	add(RelationInstance ri, Backend.Adder adder, long offset)
protected RelationInstance	bdd(SableJBDD.bdd.JBDD in)
protected SableJBDD.bdd.JBDD	bdd(RelationInstance 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

SableBackend

public SableBackend()

Method Detail

bdd

protected SableJBDD.bdd.JBDD bdd(RelationInstance in)

bdd

protected RelationInstance bdd(SableJBDD.bdd.JBDD 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)