package lisp
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- sealed abstract class LAtom extends SExpression
- case class LCons(car: SExpression, cdr: SExpression) extends SExpression with Product with Serializable
- case class LKeyword(name: String) extends LAtom with Product with Serializable
- case class LList(elements: SExpression*) extends SExpression with Product with Serializable
- case class LSymbol(name: String) extends LAtom with Product with Serializable
-
sealed abstract
class
SExpression extends AnyRef
Lisp SExpression Datatypes and Parser This is a basic LISP S-expression parser, without quote character, macros or other fancy stuff.
Lisp SExpression Datatypes and Parser This is a basic LISP S-expression parser, without quote character, macros or other fancy stuff. Atoms have a reduced namespace and need to be extended if necessary.
Printing a Datastructure should output valid Lisp.
- class SExpressionParser extends Parser
Value Members
- object LFun
- object LFunOrAtom
- object LList extends Serializable
- object SExpressionParser
This is the API documentation for GAPT.
The main package is at.logic.gapt.