Class DnfLifter

java.lang.Object
tools.refinery.store.reasoning.lifting.DnfLifter

public class DnfLifter extends Object