simplebdd.bool

Interface BoolPredFactory

public interface BoolPredFactory

Method Summary

Modifier and Type	Method and Description
BoolPred	buildVar(java.lang.String name)

Method Detail

buildVar

BoolPred buildVar(java.lang.String name)