Package

ap.terfor

inequalities

Permalink

package inequalities

Visibility
  1. Public
  2. All

Type Members

  1. class InEqConj extends Formula with SortedWithOrder[InEqConj] with IndexedSeq[LinearCombination]

    Permalink

    Class for storing a conjunction of inequalities that are normalised to the form t >= 0.

    Class for storing a conjunction of inequalities that are normalised to the form t >= 0. Together with the actual inequalities, also all inequalities that can be inferred using Fourier-Motzkin elimination steps, as well as all equations that can be inferred using Fourier-Motzkin are stored. This implies that it can always be decided in constant time whether the inequalities have rational solutions.

  2. class IntervalProp extends AnyRef

    Permalink

    Interval constraint propagation (ICP) for linear inequalities.

  3. class ReduceWithEmptyInEqs extends ReduceWithInEqs

    Permalink

    The implementation for the trivial case that there are no inequalities (this is realised as an own class for performance reasons)

  4. abstract class ReduceWithInEqs extends AnyRef

    Permalink

    Reduce certain terms or formulas drawing information from inequalities that are assumed as facts.

  5. class ReduceWithInEqsImpl extends ReduceWithInEqs

    Permalink

    The standard implementation

  6. class TestInequalities extends APTestCase

    Permalink

Value Members

  1. object FMInfsComputer

    Permalink
  2. object InEqConj

    Permalink
  3. object IntervalProp

    Permalink
  4. object ReduceWithInEqs

    Permalink

Ungrouped