io.github.kelvindev15.prolog.visitors
Members list
Type members
Classlikes
object BinaryToFlatVisitor extends TermVisitor[Seq[Term]]
Linearizes a BinaryRecursiveStruct, e.g a ','(a, ','(b, ','(c, []))) becomes [a, b, c].
Linearizes a BinaryRecursiveStruct, e.g a ','(a, ','(b, ','(c, []))) becomes [a, b, c].
Attributes
- Supertypes
- Self type
-
BinaryToFlatVisitor.type
Visits the Term structures
Visits the Term structures
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
class ToInstanceTermVisitor(substitution: Substitution) extends TermVisitor[Term]
Attributes
- Supertypes
object ToStringTermVisitor extends TermVisitor[String]
Attributes
- Supertypes
- Self type
-
ToStringTermVisitor.type
In this article