at
.
logic
.
gapt
.
formats
.
llkNew
ast
package
ast
Content Hierarchy
Top
All
Imp
Abs
Eq
And
App
Bottom
Or
LambdaAST
Neg
Exists
Var
Visibility
Public
All
Type Members
case class
Abs
(
v:
Var
,
t:
LambdaAST
)
extends
LambdaAST
with
Product
with
Serializable
case class
All
(
v:
Var
,
t:
LambdaAST
)
extends
LambdaAST
with
Product
with
Serializable
case class
And
(
l:
LambdaAST
,
r:
LambdaAST
)
extends
LambdaAST
with
Product
with
Serializable
case class
App
(
args:
List
[
LambdaAST
]
)
extends
LambdaAST
with
Product
with
Serializable
case class
Bottom
()
extends
LambdaAST
with
Product
with
Serializable
case class
Eq
(
l:
LambdaAST
,
r:
LambdaAST
)
extends
LambdaAST
with
Product
with
Serializable
case class
Exists
(
v:
Var
,
t:
LambdaAST
)
extends
LambdaAST
with
Product
with
Serializable
case class
Imp
(
l:
LambdaAST
,
r:
LambdaAST
)
extends
LambdaAST
with
Product
with
Serializable
abstract
class
LambdaAST
extends
AnyRef
case class
Neg
(
t:
LambdaAST
)
extends
LambdaAST
with
Product
with
Serializable
case class
Or
(
l:
LambdaAST
,
r:
LambdaAST
)
extends
LambdaAST
with
Product
with
Serializable
case class
Top
()
extends
LambdaAST
with
Product
with
Serializable
case class
Var
(
name:
String
)
extends
LambdaAST
with
Product
with
Serializable
Ungrouped