at.jku.fmv.qbf.pnf

Class ShiftingStrategy

java.lang.Object

at.jku.fmv.qbf.pnf.ShiftingStrategy

All Implemented Interfaces:

PrenexingStrategy

Direct Known Subclasses:

SimpleUpDownStrategy

public abstract class ShiftingStrategy
extends Object
implements PrenexingStrategy

Abstract class for strategies based on quantifier shifting.

Author:

phlo

Constructor Summary

Constructors

Constructor and Description
ShiftingStrategy()

Method Summary

Modifier and Type	Method and Description
QBF	apply(QBF formula) Applies the prenexing strategy to the given formula.

Methods inherited from class java.lang.Object

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

Constructor Detail

ShiftingStrategy

public ShiftingStrategy()

Method Detail

apply

public QBF apply(QBF formula)

Description copied from interface: PrenexingStrategy

Applies the prenexing strategy to the given formula.

Specified by:

apply in interface PrenexingStrategy

Parameters:

formula - QBF in NNF

Returns:

QBF in PNF