datalog/it.unibo.tuprolog.datalog.visitors/CompoundFinder

CompoundFinder

object CompoundFinder : AbstractClauseVisitor<Boolean>

Functions

defaultValue

open override fun defaultValue(term: Term): Boolean

visitAtom

open fun visitAtom(term: Atom): Boolean

visitBlock

open fun visitBlock(term: Block): Boolean

visitClause

open override fun visitClause(term: Clause): Boolean

visitCollection

open fun visitCollection(term: Recursive): Boolean

visitCons

open fun visitCons(term: Cons): Boolean

visitConstant

open fun visitConstant(term: Constant): Boolean

visitDirective

open fun visitDirective(term: Directive): Boolean

visitEmpty

open fun visitEmpty(term: Empty): Boolean

visitEmptyBlock

open fun visitEmptyBlock(term: EmptyBlock): Boolean

visitEmptyList

open fun visitEmptyList(term: EmptyList): Boolean

visitFact

open fun visitFact(term: Fact): Boolean

visitHead

open fun visitHead(head: Struct): Boolean

visitIndicator

open fun visitIndicator(term: Indicator): Boolean

visitInteger

open fun visitInteger(term: Integer): Boolean

visitList

open fun visitList(term: List): Boolean

visitLiteral

open override fun visitLiteral(literal: Struct): Boolean

visitNegatedLiteral

open fun visitNegatedLiteral(literal: Struct): Boolean

visitNonNegatedLiteral

open fun visitNonNegatedLiteral(literal: Struct): Boolean

visitNumeric

open fun visitNumeric(term: Numeric): Boolean

visitReal

open fun visitReal(term: Real): Boolean

visitRule

open fun visitRule(term: Rule): Boolean

visitStruct

open override fun visitStruct(term: Struct): Boolean

visitTerm

open fun visitTerm(term: Term): Boolean

visitTruth

open fun visitTruth(term: Truth): Boolean

visitTuple

open fun visitTuple(term: Tuple): Boolean

visitVar

open fun visitVar(term: Var): Boolean