Class NamedConsequence

    • Constructor Detail

      • NamedConsequence

        public NamedConsequence​(VerifierRule rule,
                                java.lang.String name,
                                java.lang.String consequence)
    • Method Detail

      • getName

        public java.lang.String getName()