at.jku.fmv.qbf.pnf

Interface PrenexingStrategy

All Known Implementing Classes:

ExistsDownForAllUp, ExistsUpForAllDown, ForAllDownExistsDown, ForAllDownExistsUp, ForAllUpExistsDown, ForAllUpExistsUp, ShiftingStrategy, SimpleUpDownStrategy

public interface PrenexingStrategy

A prenexing strategy.

Author:

phlo

Method Summary

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

Method Detail

apply

QBF apply(QBF formula)

Applies the prenexing strategy to the given formula.

Parameters:

formula - QBF in NNF

Returns:

QBF in PNF