Module src.olaaaf.projector

Allows to project a closed conjunction of olaaaf.formula.formula.Formula to a sub-set of its variables.

Sub-modules

src.olaaaf.projector.floatConvexHullProjector

Projector of a olaaaf.formula.formula.Formula to a sub-set of its variables, using floating numbers and SciPy's ConvexHull.

src.olaaaf.projector.projector

Abstract class, representating a projector of a olaaaf.formula.formula.Formula to a subset of its olaaaf.variable.variable.Variable.