Packages

p

gapt.provers

congruence

package congruence

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. class CC extends AnyRef
  2. final class MutCC extends AnyRef

    Congruence closure implementation closely following [1]

    Congruence closure implementation closely following [1]

    [1] R. Nieuwenhuis and A. Oliveras, Fast congruence closure and extensions, Information and Computation 205.4 (2007), 557-580.

Value Members

  1. object CC
  2. object MutCC
  3. object SimpleSmtSolver extends OneShotProver

Ungrouped