at.jku.fmv.qbf.pnf

Class ForAllDownExistsDown

java.lang.Object

at.jku.fmv.qbf.pnf.ShiftingStrategy

at.jku.fmv.qbf.pnf.SimpleUpDownStrategy

at.jku.fmv.qbf.pnf.ForAllDownExistsDown

All Implemented Interfaces:

PrenexingStrategy

public class ForAllDownExistsDown
extends SimpleUpDownStrategy

∀↓∃↓

Places universal quantifiers and existential quantifiers as low as possible.

Author:

phlo

Constructor Summary

Constructors

Constructor and Description
ForAllDownExistsDown()

Method Summary

Methods inherited from class at.jku.fmv.qbf.pnf.ShiftingStrategy

apply

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ForAllDownExistsDown

public ForAllDownExistsDown()