Struct DecidablePred 

pub struct DecidablePred<T> {
    pub decide: Box<dyn Fn(&T) -> bool>,
    pub name: String,
}

Decidable predicate: a predicate P: T -> Bool computable at runtime.

Fields

decide: Box<dyn Fn(&T) -> bool>

The underlying decision procedure.

name: String

Name of this predicate for display.