Test.Extrapolate.ConditionalGeneralization

This module is part of Extrapolate, a library for generalization of counter-examples.

This defines utilities for conditional generalization.

You are probably better off importing Test.Extrapolate.

Documentation

conditionalCounterExampleGeneralizations :: Int -> [[Expr]] -> (Expr -> [Expr]) -> (Expr -> Expr -> Expr) -> Expr -> [Expr]

validConditions :: (Thy, [Expr]) -> (Expr -> [Expr]) -> Expr -> [Expr]

candidateConditions :: (Expr -> [Expr]) -> (Thy, [Expr]) -> Expr -> [Expr]