at.jku.fmv.qbf

Class QBF.Quantifier

java.lang.Object

at.jku.fmv.qbf.QBF

at.jku.fmv.qbf.QBF.UnaryOperator

at.jku.fmv.qbf.QBF.Quantifier

Direct Known Subclasses:

QBF.Exists, QBF.ForAll

Enclosing class:

QBF

public abstract static class QBF.Quantifier
extends QBF.UnaryOperator

Base class for quantifier nodes.

Author:

phlo

Nested Class Summary

Nested classes/interfaces inherited from class at.jku.fmv.qbf.QBF

QBF.And, QBF.Exists, QBF.False, QBF.ForAll, QBF.MultiaryOperator, QBF.Not, QBF.Or, QBF.Quantifier, QBF.Terminal, QBF.Traverse, QBF.True, QBF.UnaryOperator, QBF.Variable

Field Summary

Fields

Modifier and Type	Field and Description
Set<String>	variables

Fields inherited from class at.jku.fmv.qbf.QBF.UnaryOperator

subformula

Fields inherited from class at.jku.fmv.qbf.QBF

False, isAnd, isCNF, isConstant, isExists, isForAll, isLiteral, isNegation, isOr, isQuantifier, isVariable, True

Method Summary

Methods inherited from class at.jku.fmv.qbf.QBF

accept, accept, apply, apply, cleanse, equals, getCriticalPaths, getQPaths, getSkeleton, hash, hashCode, isAnd, isCNF, isConstant, isExists, isForAll, isLiteral, isNegation, isOr, isQuantifier, isVariable, negate, prefixToString, quantifierToString, rename, stream, streamBoundVariables, streamFreeVariables, streamPrefix, streamQPaths, streamVariables, toNNF, toPCNF, toPNF, toString, unifyPrefix

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

variables

public final Set<String> variables