Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.visitors/BinaryToFlatVisitor

BinaryToFlatVisitor

io.github.kelvindev15.prolog.visitors.BinaryToFlatVisitor
object BinaryToFlatVisitor extends TermVisitor[Seq[Term]]

Linearizes a BinaryRecursiveStruct, e.g a ','(a, ','(b, ','(c, []))) becomes [a, b, c].

Attributes

Graph
Supertypes
trait TermVisitor[Seq[Term]]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def visit(tuple: BinaryRecursiveStruct): Seq[Term]

Attributes

Definition Classes

Inherited methods

def visit(list: PrologList): T

Attributes

Inherited from:
TermVisitor
def visit(recursiveStruct: RecursiveStruct): T

Attributes

Inherited from:
TermVisitor
def visit(directive: Directive): T

Attributes

Inherited from:
TermVisitor
def visit(fact: Fact): T

Attributes

Inherited from:
TermVisitor
def visit(rule: Rule): T

Attributes

Inherited from:
TermVisitor
def visit(clause: Clause): T

Attributes

Inherited from:
TermVisitor
def visit(struct: Struct): T

Attributes

Inherited from:
TermVisitor
def visit(variable: Variable): T

Attributes

Inherited from:
TermVisitor
def visit(numeric: Numeric): T

Attributes

Inherited from:
TermVisitor
def visit(atom: Atom): T

Attributes

Inherited from:
TermVisitor
def visit(constant: Constant): T

Attributes

Inherited from:
TermVisitor
def visit(term: Term): T

Attributes

Inherited from:
TermVisitor
Generated with