A truth chain the queries can read: a Pst carrier that is finite by its representation and has the covering step. More...

Concept definition

template<typename C>

concept @156131220235120362223174356105005245200156001166::pst::IsTruthChain = IsPst<C> && IsFiniteChain<C> && HasNNOStep<C>

Detailed Description

A truth chain the queries can read: a Pst carrier that is finite by its representation and has the covering step.

Template Parameters

C	the chain.