Uses of Package
org.variantsync.diffdetective.feature
Package
Description
-
-
ClassDescriptionAbstractingFormulaExtractor is an abstract class that extracts a formula from text containing a conditional annotation, and then abstracts the formula using the custom
AbstractingFormulaExtractor.abstractFormula(String)
implementation of its subclass.Interface for extracting a formula from a line containing an annotation.A parser of preprocessor-like annotations. -
ClassDescriptionInterface for a parser that analyzes annotations in parsed text.AnnotationType is an enum that describes whether a piece of text marks the start of an annotation, the end of an annotation, or no annotation at all.Interface for extracting a formula from a line containing an annotation.A parser of preprocessor-like annotations.A parser that parses propositional formula's from text to
Node
s. -
ClassDescriptionAbstractingFormulaExtractor is an abstract class that extracts a formula from text containing a conditional annotation, and then abstracts the formula using the custom
AbstractingFormulaExtractor.abstractFormula(String)
implementation of its subclass.Interface for extracting a formula from a line containing an annotation. -
ClassDescriptionAbstractingFormulaExtractor is an abstract class that extracts a formula from text containing a conditional annotation, and then abstracts the formula using the custom
AbstractingFormulaExtractor.abstractFormula(String)
implementation of its subclass.Interface for extracting a formula from a line containing an annotation. -
ClassDescriptionAnnotationType is an enum that describes whether a piece of text marks the start of an annotation, the end of an annotation, or no annotation at all.
-