Struct FactualStmtSuccess 

pub struct FactualStmtSuccess {
    pub stmt: Fact,
    pub infers: InferResult,
    pub verified_by: VerifiedByResult,
}

Fields

stmt: Fact

infers: InferResult

verified_by: VerifiedByResult

Implementations

impl FactualStmtSuccess

pub fn verification_display_line(&self) -> String

pub fn new_with_verified_by_builtin_rules( stmt: Fact, infers: InferResult, verified_by: VerifiedByResult, ) -> Self

pub fn new_with_verified_by_builtin_rules_recording_stmt( stmt: Fact, builtin_rule_label: String, step_results: Vec<StmtResult>, ) -> Self

pub fn new_with_verified_by_builtin_rules_label_and_steps( stmt: Fact, infers: InferResult, builtin_rule_label: String, step_results: Vec<StmtResult>, ) -> Self

pub fn new_with_verified_by_known_fact_and_infer( stmt: Fact, infers: InferResult, verified_by: VerifiedByResult, step_results: Vec<StmtResult>, ) -> Self

pub fn new_with_verified_by_known_fact( stmt: Fact, verified_by: VerifiedByResult, step_results: Vec<StmtResult>, ) -> Self

pub fn line_file_for_verified_by_known_fact_in_json(&self) -> LineFile

pub fn is_verified_by_builtin_rules_only(&self) -> bool

Trait Implementations

impl Debug for FactualStmtSuccess

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

Formats the value using the given formatter.

impl From<FactualStmtSuccess> for StmtResult

fn from(v: FactualStmtSuccess) -> Self

Converts to this type from the input type.