at
.
logic
.
gapt
.
formats
.
hlk
ast
package
ast
Content Hierarchy
Learn more about scaladoc diagrams
Bottom
Top
Imp
Eq
Or
And
Neg
Exists
All
Abs
App
Var
LambdaAST
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