stabilizer_c_api.h

Go to the documentation of this file.

// Copyright (c) 2026 XiangZhang
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
// SOFTWARE.
 
#pragma once
 
#include <stdbool.h>
#include <stddef.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
typedef struct stabilizer_options stabilizer_options;
typedef struct stabilizer_handle stabilizer_handle;
 
typedef enum stabilizer_status {
    STABILIZER_STATUS_OK = 0,
    STABILIZER_STATUS_INVALID_ARGUMENT = 1,
    STABILIZER_STATUS_RUNTIME_ERROR = 2
} stabilizer_status;
 
stabilizer_options *stabilizer_options_create(void);
 
void stabilizer_options_destroy(stabilizer_options *options);
 
void stabilizer_options_set_rewrite(stabilizer_options *options, bool value);
 
bool stabilizer_options_get_rewrite(const stabilizer_options *options);
 
void stabilizer_options_set_context_propagation(stabilizer_options *options, bool value);
 
bool stabilizer_options_get_context_propagation(const stabilizer_options *options);
 
void stabilizer_options_set_subgraph_pruning(stabilizer_options *options, bool value);
 
bool stabilizer_options_get_subgraph_pruning(const stabilizer_options *options);
 
stabilizer_handle *stabilizer_create(const stabilizer_options *options);
 
void stabilizer_destroy(stabilizer_handle *handle);
 
void stabilizer_set_rewrite(stabilizer_handle *handle, bool value);
 
bool stabilizer_get_rewrite(const stabilizer_handle *handle);
 
void stabilizer_set_context_propagation(stabilizer_handle *handle, bool value);
 
bool stabilizer_get_context_propagation(const stabilizer_handle *handle);
 
void stabilizer_set_subgraph_pruning(stabilizer_handle *handle, bool value);
 
bool stabilizer_get_subgraph_pruning(const stabilizer_handle *handle);
 
stabilizer_status stabilizer_apply_file(stabilizer_handle *handle, const char *file_path, char **output);
 
stabilizer_status stabilizer_apply_text(stabilizer_handle *handle, const char *smt2_text, char **output);
 
const char *stabilizer_last_error(const stabilizer_handle *handle);
 
void stabilizer_free_string(char *value);
 
#ifdef __cplusplus
}
#endif