datalog/it.unibo.tuprolog.datalog.visitors/HeadVariablesOutsideNonNegatedLiterals

HeadVariablesOutsideNonNegatedLiterals

object HeadVariablesOutsideNonNegatedLiterals : AbstractClauseVisitor<Set<Var>>

Functions

open override fun defaultValue(term: Term): Set<Var>

open fun visitAtom(term: Atom): Set<Var>

open fun visitBlock(term: Block): Set<Var>

open override fun visitClause(term: Clause): Set<Var>

visitCollection

open fun visitCollection(term: Recursive): Set<Var>

open fun visitCons(term: Cons): Set<Var>

open fun visitConstant(term: Constant): Set<Var>

open fun visitDirective(term: Directive): Set<Var>

open fun visitEmpty(term: Empty): Set<Var>

visitEmptyBlock

open fun visitEmptyBlock(term: EmptyBlock): Set<Var>

open fun visitEmptyList(term: EmptyList): Set<Var>

open fun visitFact(term: Fact): Set<Var>

open fun visitHead(head: Struct): Set<Var>

open fun visitIndicator(term: Indicator): Set<Var>

open fun visitInteger(term: Integer): Set<Var>

open fun visitList(term: List): Set<Var>

open override fun visitLiteral(literal: Struct): Set<Var>

visitNegatedLiteral

open override fun visitNegatedLiteral(literal: Struct): Set<Var>

visitNonNegatedLiteral

open fun visitNonNegatedLiteral(literal: Struct): Set<Var>

open fun visitNumeric(term: Numeric): Set<Var>

open fun visitReal(term: Real): Set<Var>

open fun visitRule(term: Rule): Set<Var>

open fun visitStruct(term: Struct): Set<Var>

open fun visitTerm(term: Term): Set<Var>

open fun visitTruth(term: Truth): Set<Var>

open fun visitTuple(term: Tuple): Set<Var>

open override fun visitVar(term: Var): Set<Var>