ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
ld_ir_builder.h
Go to the documentation of this file.
1
#pragma once
2
3
#include <
ld-frontend/parser/ld_ast.h
>
4
#include <
ld-frontend/ir/ld_ir.h
>
5
6
// Lowers a type-checked LdAst into LdIR by applying SOS rule assignments.
7
class
LdIRBuilder
8
{
9
public
:
10
LdIR
build
(
const
LdAst
&ast);
11
12
private
:
13
LdIRNode
lower_element(
const
RungElement
&elem);
14
LdIRRung
lower_rung(
const
RungNode
&rung);
15
};
LdIRBuilder
Definition
ld_ir_builder.h:8
LdIRBuilder::build
LdIR build(const LdAst &ast)
Definition
ld_ir_builder.cpp:106
ld_ast.h
ld_ir.h
LdAst
Definition
ld_ast.h:256
LdIRNode
Definition
ld_ir.h:30
LdIRRung
Definition
ld_ir.h:70
LdIR
Definition
ld_ir.h:91
RungElement
Definition
ld_ast.h:141
RungNode
Definition
ld_ast.h:153
src
ld-frontend
ir
ld_ir_builder.h
Generated by
1.15.0