at.jku.fmv.qbf

Class QBF.Terminal

java.lang.Object

at.jku.fmv.qbf.QBF

at.jku.fmv.qbf.QBF.Terminal

Direct Known Subclasses:

QBF.False, QBF.True, QBF.Variable

Enclosing class:

QBF

public abstract static class QBF.Terminal
extends QBF

A terminal node in the QBF tree.

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 inherited from class at.jku.fmv.qbf.QBF

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

Constructor Summary

Constructors

Constructor and Description
Terminal()

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

Constructor Detail

Terminal

public Terminal()