Class NotClause


  • public class NotClause
    extends AbstractClause
    INTERNAL: Used to represent not clauses in tolog queries.
    • Field Detail

      • clauses

        protected List clauses
    • Constructor Detail

      • NotClause

        public NotClause()
      • NotClause

        public NotClause​(List clauses)
    • Method Detail

      • setClauseList

        public void setClauseList​(List clauses)
      • getClauses

        public List getClauses()
      • getAllLiterals

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

        public List getArguments()
        Description copied from class: AbstractClause
        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.
        Specified by:
        getArguments in class AbstractClause