com.github.valid8j.pcond.core

Interface Evaluable.Pred<T>

Type Parameters:

T - The type of the value to be tested.

All Superinterfaces:

Evaluable<T>

All Known Subinterfaces:

Evaluable.Composite<T>, Evaluable.Conjunction<T>, Evaluable.CurriedContextPred, Evaluable.Disjunction<T>, Evaluable.LeafPred<T>, Evaluable.Negation<T>, Evaluable.StreamPred<E>, Evaluable.Transformation<T,R>

All Known Implementing Classes:

ExplainablePredicate, PrintablePredicateFactory.Conjunction, PrintablePredicateFactory.Disjunction, PrintablePredicateFactory.StreamPredicate, PrintablePredicateFactory.TransformingPredicate, PropositionPredicate

Enclosing interface:

Evaluable<T>

public static interface Evaluable.Pred<T>
extends Evaluable<T>

A base interface to model all the predicates in the model of the evaluation framework.

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.valid8j.pcond.core.Evaluable

Evaluable.Composite<T>, Evaluable.Conjunction<T>, Evaluable.CurriedContextPred, Evaluable.Disjunction<T>, Evaluable.Func<T>, Evaluable.LeafPred<T>, Evaluable.Negation<T>, Evaluable.Pred<T>, Evaluable.StreamPred<E>, Evaluable.Transformation<T,R>

Method Summary

Methods inherited from interface com.github.valid8j.pcond.core.Evaluable

accept, isSquashable, makeTrivial