`.InvariantsCoresatisfies`

function defined in module InvariantsCore


			satisfies(invariant, input) -> nothing | errormessage

Check if input satisfies an invariant . If it does, return nothing . Otherwise return an error message explaining why the invariant is violated.

Methods

There are 4 methods for satisfies:

satisfies(invs::InvariantsCore.AllInvariant, input)

compose.jl:23

satisfies(invs::InvariantsCore.AnyInvariant, input)

compose.jl:60

satisfies(inv::InvariantsCore.Invariant, input)

invariant.jl:28

satisfies(wrap::InvariantsCore.WrapInvariant, input)

wrapinvariant.jl:24

Backlinks

The following pages link back here:

Invariants.jl , compose.jl , highlevel.jl , interface.jl , invariant.jl , wrapinvariant.jl