info.scce.addlib.dd.xdd.grouplikedd.MonoidDDManager 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.grouplikedd;

public abstract class MonoidDDManager extends MagmaDDManager {

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

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

    public MonoidDDManager() {
        super();
    }

    @Override
    protected abstract T neutralElement();
}