at.jku.fmv.qbf.pnf

Class ExistsUpForAllDown

java.lang.Object

at.jku.fmv.qbf.pnf.ShiftingStrategy

at.jku.fmv.qbf.pnf.SimpleUpDownStrategy

at.jku.fmv.qbf.pnf.ExistsUpForAllDown

All Implemented Interfaces:

PrenexingStrategy

public class ExistsUpForAllDown
extends SimpleUpDownStrategy

∃↑∀↓ (prioritizing existential quantifiers)

Places existential quantifiers as high and universal quantifiers as low as possible.

Author:

phlo

Constructor Summary

Constructors

Constructor and Description
ExistsUpForAllDown()

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

ExistsUpForAllDown

public ExistsUpForAllDown()