public abstract class AbstractPolarityFeature
extends java.lang.Object
Constructor and Description |
---|
AbstractPolarityFeature() |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Boolean |
polarity(PosInOccurrence pos,
java.lang.Boolean formulaPol) |
protected java.lang.Boolean polarity(PosInOccurrence pos, java.lang.Boolean formulaPol)
formulaPol
- the polarity of the complete formula (i.e. whether the formula
is part of antecedent or succedent, Boolean.TRUE
for antecedent)Boolean.TRUE
,Boolean.FALSE
or
null
Copyright © 2003-2019 The KeY-Project.