info.scce.addlib.dd.xdd.latticedd.ComplementableLatticeDDManager Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of addlib Show documentation

The Java Library for Algebraic Decision Diagrams, Code Generation, and Layouting

There is a newer version: 3.1.0

package info.scce.addlib.dd.xdd.latticedd;

public abstract class ComplementableLatticeDDManager extends BoundedLatticeDDManager {

    public ComplementableLatticeDDManager(int numVars, int numVarsZ, int numSlots, int cacheSize, long maxMemory) {
        super(numVars, numVarsZ, numSlots, cacheSize, maxMemory);
    }

    public ComplementableLatticeDDManager(int numVars, int numVarsZ, long maxMemory) {
        super(numVars, numVarsZ, maxMemory);
    }

    public ComplementableLatticeDDManager() {
        super();
    }

    @Override
    protected abstract T compl(T x);
}