Class AbstractClause

    • Constructor Detail

      • AbstractClause

        public AbstractClause()
    • Method Detail

      • getAllVariables

        public abstract Collection getAllVariables()
        INTERNAL: Returns all the variables bound by this clause when it is satisfied.
      • getAllLiterals

        public abstract Collection getAllLiterals()
        INTERNAL: Returns all the literals used by this clause as parameters. (Literals in the second half of pair arguments are ignored.)
      • getArguments

        public abstract List getArguments()
        INTERNAL: Returns the arguments of this clause. For OrClause this is the list of all arguments to all the subclauses in the OrClause. Likewise for NotClause.