Class StrictInferenceRule<T extends Invertable>

    • Constructor Detail

      • StrictInferenceRule

        public StrictInferenceRule()
        Constructs an empty instance
      • StrictInferenceRule

        public StrictInferenceRule​(T conclusion,
                                   java.util.Collection<T> premise)
        Constructs a strict inference rule p -> c
        Parameters:
        conclusion - ^= p
        premise - ^= c