de.uka.ilkd.key.strategy.feature

Class AbstractPolarityFeature

java.lang.Object

de.uka.ilkd.key.strategy.feature.AbstractPolarityFeature

Direct Known Subclasses:

SimplifyReplaceKnownCandidateFeature

public abstract class AbstractPolarityFeature
extends Object

Auxiliary class that contains methods to compute the polarity of a position/subformula within a formula

Constructor Summary

Constructors

Constructor and Description
AbstractPolarityFeature()

Method Summary

Modifier and Type	Method and Description
private Boolean	invert(Boolean p)
protected Boolean	polarity(PosInOccurrence pos, Boolean formulaPol)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractPolarityFeature

public AbstractPolarityFeature()

Method Detail

polarity

protected Boolean polarity(PosInOccurrence pos,
                           Boolean formulaPol)

Parameters:

formulaPol - the polarity of the complete formula (i.e. whether the formula is part of antecedent or succedent, Boolean.TRUE for antecedent)

Returns:

the polarity of the given position, which is Boolean.TRUE,Boolean.FALSE or null

invert

private Boolean invert(Boolean p)