TermVisitor

io.github.kelvindev15.prolog.visitors.TermVisitor
trait TermVisitor[T]

Visits the Term structures

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def visit(term: Term): T
def visit(constant: Constant): T
def visit(atom: Atom): T
def visit(numeric: Numeric): T
def visit(variable: Variable): T
def visit(struct: Struct): T
def visit(clause: Clause): T
def visit(rule: Rule): T
def visit(fact: Fact): T
def visit(directive: Directive): T
def visit(recursiveStruct: RecursiveStruct): T
def visit(binaryRecursiveStruct: BinaryRecursiveStruct): T
def visit(list: PrologList): T