Package owl.ltl.tlsf

Class Tlsf


  • @Immutable
    public abstract class Tlsf
    extends Object
    • Constructor Detail

      • Tlsf

        public Tlsf()
    • Method Detail

      • assume

        @Default
        public Formula assume()
      • description

        public abstract String description()
      • guarantee

        @Default
        public List<Formula> guarantee()
      • initially

        @Default
        public Formula initially()
      • inputs

        public abstract BitSet inputs()
      • outputs

        public abstract BitSet outputs()
      • variables

        public abstract List<String> variables()
      • preset

        @Default
        public Formula preset()
      • require

        @Default
        public Formula require()
      • title

        public abstract String title()
      • numberOfInputs

        @Derived
        public int numberOfInputs()
      • toAssertGuaranteeConjuncts

        @Derived
        public List<LabelledFormula> toAssertGuaranteeConjuncts()
      • check

        @Check
        protected void check()