at.jku.fmv.qbf.pnf

Class SimpleUpDownStrategy

java.lang.Object

at.jku.fmv.qbf.pnf.ShiftingStrategy

at.jku.fmv.qbf.pnf.SimpleUpDownStrategy

All Implemented Interfaces:

PrenexingStrategy

Direct Known Subclasses:

ExistsDownForAllUp, ExistsUpForAllDown, ForAllDownExistsDown, ForAllDownExistsUp, ForAllUpExistsDown, ForAllUpExistsUp

public abstract class SimpleUpDownStrategy
extends ShiftingStrategy

Abstract class for strategies based on simple variable reordering.

Author:

phlo

Constructor Summary

Constructors

Constructor and Description
SimpleUpDownStrategy()

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

SimpleUpDownStrategy

public SimpleUpDownStrategy()