.InvariantsCoretitle
function defined in module
InvariantsCore
title(invariant) -> String
Short summary of an invariant. Is used as a title in reports and error messages.
Part of the
AbstractInvariant
interface.
There are
3
methods for title:
title(invs::InvariantsCore.InvariantList)title(inv::InvariantsCore.Invariant)title(wrap::InvariantsCore.WrapInvariant)The following pages link back here:
Invariants.jl , invariants/hasmethod.jl , invariants/hastype.jl , tree.jl , compose.jl , highlevel.jl , interface.jl , invariant.jl , wrapinvariant.jl