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): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(recursiveStruct: RecursiveStruct): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(directive: Directive): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(fact: Fact): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(rule: Rule): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(clause: Clause): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(struct: Struct): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(variable: Variable): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(numeric: Numeric): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(atom: Atom): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(constant: Constant): Seq[Term]

Attributes

Inherited from:
TermVisitor
def visit(term: Term): Seq[Term]

Attributes

Inherited from:
TermVisitor
Generated with