Struct AstSemanticOracle 

pub struct AstSemanticOracle {
    pub similarity_threshold: f64,
}

Basic semantic oracle using AST comparison

Fields

similarity_threshold: f64

Similarity threshold for equivalence

Implementations

impl AstSemanticOracle

pub fn new(similarity_threshold: f64) -> Self

Create a new AST semantic oracle

Trait Implementations

impl Debug for AstSemanticOracle

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for AstSemanticOracle

fn default() -> AstSemanticOracle

Returns the “default value” for a type.

impl SemanticOracle for AstSemanticOracle

fn check_equivalence(&self, source: &str, target: &str) -> SemanticVerdict

Check semantic equivalence between source and target

fn ast_similarity(&self, source: &str, target: &str) -> f64

Calculate AST similarity score

fn compare_memory(&self, _source: &str, _target: &str) -> bool

Compare memory layouts

fn compare_performance(&self, _source: &str, _target: &str) -> Option<f64>

Compare performance profiles