Struct rCanary

pub struct rCanary<'tcx> {
    tcx: TyCtxt<'tcx>,
    adt_owner: AdtOwner,
    mir_graph: MirGraph,
    elapsed: Elapsed,
}

Fields

tcx: TyCtxt<'tcx>

adt_owner: AdtOwner

mir_graph: MirGraph

elapsed: Elapsed

Implementations

impl<'tcx> rCanary<'tcx>

pub fn new(tcx: TyCtxt<'tcx>) -> Self

pub fn start(&mut self)

pub fn tcx(&self) -> TyCtxt<'tcx>

pub fn adt_owner(&self) -> &AdtOwner

pub fn adt_owner_mut(&mut self) -> &mut AdtOwner

pub fn mir_graph(&self) -> &MirGraph

pub fn mir_graph_mut(&mut self) -> &mut MirGraph

pub fn get_time_build(&self) -> i64

pub fn add_time_build(&mut self, time: i64)

pub fn mut_ref_time_build(&mut self) -> &mut i64

pub fn get_time_solve(&self) -> i64

pub fn add_time_solve(&mut self, time: i64)

pub fn mut_ref_time_solve(&mut self) -> &mut i64

Trait Implementations

impl<'tcx> Clone for rCanary<'tcx>

fn clone(&self) -> rCanary<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.