mangle_engine/
lib.rs

1// Copyright 2024 Google LLC
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7//     http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15use mangle_ast as ast;
16
17use anyhow::Result;
18use mangle_analysis as analysis;
19use mangle_factstore as factstore;
20
21use analysis::StratifiedProgram;
22
23mod naive;
24
25pub trait Engine<'e> {
26    fn eval<'p>(
27        &'e self,
28        store: &'e impl factstore::FactStore<'e>,
29        program: &'p impl StratifiedProgram<'p>,
30    ) -> Result<()>;
31}