Crate pumpkin_checking 

Exposes a common interface used to check inferences.

The main exposed type is the InferenceChecker, which can be implemented to verify whether inferences are sound w.r.t. an inference rule.

Structs

BoxedChecker

Wrapper around Box<dyn InferenceChecker<Atomic>> that implements Clone.

Domain

A domain inside the variable state.

DomainIterator

An iterator over the values in the domain of a variable.

TestAtomic

A simple implementation of an AtomicConstraint.

Union

Calculates the union between multiple variable domains.

VariableState

The domains of all variables in the problem.

Enums

Comparison

An arithmetic comparison between two integers.

IntExt

An i32 or positive/negative infinity.

Traits

AtomicConstraint

Captures the data associated with an atomic constraint.

CheckerVariable

A variable in a constraint satisfaction problem.

InferenceChecker

An inference checker tests whether the given state is a conflict under the sematics of an inference rule.