at.jku.fmv.qbf

Class QBF.UnaryOperator

java.lang.Object

at.jku.fmv.qbf.QBF

at.jku.fmv.qbf.QBF.UnaryOperator

Direct Known Subclasses:

QBF.Not, QBF.Quantifier

Enclosing class:

QBF

public abstract static class QBF.UnaryOperator
extends QBF

Base class for unary 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
QBF	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

subformula

public final QBF subformula