at.jku.fmv.qbf

Class QBF.MultiaryOperator

java.lang.Object

at.jku.fmv.qbf.QBF

at.jku.fmv.qbf.QBF.MultiaryOperator

Direct Known Subclasses:

QBF.And, QBF.Or

Enclosing class:

QBF

public abstract static class QBF.MultiaryOperator
extends QBF

Base class for multiary (n-ary) operators.

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
List<QBF>	subformulas

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

subformulas

public final List<QBF> subformulas