at.jku.fmv.qbf.pnf

Class ForAllDownExistsUp

java.lang.Object

at.jku.fmv.qbf.pnf.ShiftingStrategy

at.jku.fmv.qbf.pnf.SimpleUpDownStrategy

at.jku.fmv.qbf.pnf.ForAllDownExistsUp

All Implemented Interfaces:

PrenexingStrategy

public class ForAllDownExistsUp
extends SimpleUpDownStrategy

∀↓∃↑ (prioritizing universal quantifiers)

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

Author:

phlo

Constructor Summary

Constructors

Constructor and Description
ForAllDownExistsUp()

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

ForAllDownExistsUp

public ForAllDownExistsUp()