disambiguation.h

Go to the documentation of this file.

 
#ifndef DISAMBIGUATION_H
#define DISAMBIGUATION_H
 
#include <stdint.h>
#include <stdbool.h>
#include <stddef.h>
 
/* LimeContext and ConflictPoint are defined here */
#include "conflict.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
/* Forward declarations */
struct ExtensionRegistry;
struct Extension;
struct ParseContext;
 
/* ================================================================== */
/* ================================================================== */
 
typedef enum LimeStrategy {
    STRAT_PRIORITY = 0,     
    STRAT_FORK_RESOLVE = 1, 
    STRAT_BAYESIAN = 2,     
    STRAT_LLM = 3,          
    STRAT_CUSTOM = 4,       
} LimeStrategy;
 
 
/* ================================================================== */
/* ================================================================== */
 
typedef struct StrategyResult {
    LimeContext *winning_contexts; 
    int nwinners;                  
    float confidence;              
    char *explanation;             
} StrategyResult;
 
void strategy_result_init(StrategyResult *result);
 
void strategy_result_cleanup(StrategyResult *result);
 
 
/* ================================================================== */
/* ================================================================== */
 
typedef struct DisambiguationStrategyVTable {
    void *(*init)(const struct Extension *const *extensions, uint32_t nextensions);
 
    bool (*resolve)(void *strategy_context, const ConflictPoint *conflict,
                    struct ParseContext *parse_ctx, int lookahead, StrategyResult *result);
 
    void (*update)(void *strategy_context, struct ExtensionRegistry *registry, bool success);
 
    void (*destroy)(void *strategy_context);
 
} DisambiguationStrategyVTable;
 
 
/* ================================================================== */
/* ================================================================== */
 
typedef struct DisambiguationContext DisambiguationContext;
 
 
/* ================================================================== */
/* ================================================================== */
 
DisambiguationContext *disambiguation_create(LimeStrategy strategy, struct ExtensionRegistry *reg);
 
DisambiguationContext *disambiguation_create_custom(const DisambiguationStrategyVTable *vtable,
                                                    struct ExtensionRegistry *reg);
 
StrategyResult disambiguation_resolve(DisambiguationContext *ctx, const ConflictPoint *conflict,
                                      struct ParseContext *parse_ctx);
 
void disambiguation_update(DisambiguationContext *ctx, bool success);
 
LimeStrategy disambiguation_get_strategy(const DisambiguationContext *ctx);
 
const char *disambiguation_strategy_name(LimeStrategy strategy);
 
void disambiguation_destroy(DisambiguationContext *ctx);
 
 
#ifdef __cplusplus
}
#endif
 
#endif /* DISAMBIGUATION_H */