.InvariantsCoreAnyInvariant

struct defined in module InvariantsCore

Methods

There are 2 methods for AnyInvariant:

InvariantsCore.AnyInvariant(invariants::Vector{I}, title::String, description::Union{Nothing, String})
compose.jl:48
InvariantsCore.AnyInvariant(invariants, title::String; description, shortcircuit, kwargs...)
compose.jl:53
Backlinks