Class DelpFact

    • Constructor Detail

      • DelpFact

        public DelpFact​(FolFormula literal)
        Default constructor; initializes this fact with the given literal
        literal - a literal
    • Method Detail

      • substitute

        public RelationalFormula substitute​(Term<?> v,
                                            Term<?> t)
                                     throws java.lang.IllegalArgumentException
        Description copied from class: RelationalFormula
        Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula. NOTE: if "v" is a variable and bound to a quantifier then "v" is not substituted in that quantifiers inner formula.
        Specified by:
        substitute in interface ComplexLogicalFormula
        Specified by:
        substitute in class DelpRule
        v - the term to be substituted.
        t - the term to substitute.
        a formula where every occurrence of "v" is replaced by "t".
        java.lang.IllegalArgumentException - if "v" and "t" are of different sorts (NOTE: this exception is only thrown when "v" actually appears in this formula).