sat

Type Members

1. class And extends BinaryLogicConnective[And]

2. abstract class AndOrUnExtractor[This <: BinaryLogicConnective[This]] extends AnyRef

3. abstract class DefinedExpr extends SATFeatureExpr with SingleFeatureExpr

   Leaf nodes of propositional feature expressions, either an external feature defined by the user or another feature expression from a macro.

4. class DefinedExternal extends DefinedExpr

   external definition of a feature (cannot be decided to Base or Dead inside this file)

5. class DefinedMacro extends DefinedExpr

   definition based on a macro, still to be resolved using the macro table (the macro table may not contain DefinedMacro expressions, but only DefinedExternal) assumption: expandedName is unique and may be used for comparison

6. abstract class HashCachingFeatureExpr extends SATFeatureExpr

7. abstract class NFException extends Exception

8. class NoLiteralException extends NFException

9. class NoNFException extends NFException

10. class Not extends HashCachingFeatureExpr

11. class NotReference[+T <: AnyRef] extends WeakReference[T]

12. class Or extends BinaryLogicConnective[Or]

13. sealed abstract class SATFeatureExpr extends FeatureExpr

    Propositional (or boolean) feature expressions.

14. class SATFeatureModel extends FeatureModel

    the feature model is a special container for a single feature expression that is used very often in a conjunction

15. class SatSolver extends AnyRef

    connection to the SAT4j SAT solver