License	GNU LGPLv3
Maintainer	paul.bittner@uni-ulm.de
Safe Haskell	Safe

Feature

Description

Data types for features and feature formulas.

Synopsis

type Feature = String
toFeature :: String -> Feature
type NonNullFeatureFormula = PropositionalFormula Feature
type FeatureFormula = NullableFormula Feature

Documentation

type Feature = String Source #

Features are represented by a unique name.

toFeature :: String -> Feature Source #

Construct a feature from a name.

type NonNullFeatureFormula = PropositionalFormula Feature Source #

PropositionalFormula over Features

type FeatureFormula = NullableFormula Feature Source #

Nullable PropositionalFormula over Features