Struct Stats

pub struct Stats {
    pub solver_runs: Vec<SolverStats>,
    pub rewriter_runs: Vec<RewriterStats>,
}

Fields

solver_runs: Vec<SolverStats>

rewriter_runs: Vec<RewriterStats>

Implementations

impl Stats

pub fn new() -> Stats

pub fn add_solver_run(&mut self, solver_stats: SolverStats)

pub fn add_rewriter_run(&mut self, rewriter_stats: RewriterStats)

Trait Implementations

impl Clone for Stats

fn clone(&self) -> Stats

Returns a duplicate of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for Stats

fn default() -> Stats

Returns the “default value” for a type.

impl JsonSchema for Stats

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

fn always_inline_schema() -> bool

👎Deprecated: Use inline_schema() instead

Only included for backward-compatibility - use inline_schema() instead“.

impl Serialize for Stats

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 48 bytes