Module `args`

Structs
- Args
Enums

Quick Reference

Item	Kind	Description
`Args`	struct
`Vrt`	enum
`Algorithm`	enum
`Analysis`	enum
`Approximation`	enum
`CutOffBasis`	enum
`Backend`	enum
`OutputFormat`	enum

Structs

`Args`

rust

struct Args {
    pub analysis: Analysis,
    pub algorithm: Algorithm,
    pub approximation: Option<Approximation>,
    pub backend: Option<Backend>,
    pub seed: u64,
    pub num_trials: u32,
    pub bitpacks_per_batch: Option<u32>,
    pub batches: Option<u32>,
    pub iterations: Option<u32>,
    pub limit_order: Option<u32>,
    pub cut_off: Option<f64>,
    pub interactive_truncation: bool,
    pub cut_set_stats_only: bool,
    pub cut_off_basis: CutOffBasis,
    pub mission_time: Option<f64>,
    pub time_step: Option<f64>,
    pub num_quantiles: Option<u32>,
    pub num_bins: Option<u32>,
    pub validate: bool,
    pub verbosity: u32,
    pub print: bool,
    pub watch: bool,
    pub visualize: bool,
    pub visualize_out_dir: std::path::PathBuf,
    pub visualize_sequence: Option<String>,
    pub visualize_stdout: bool,
    pub optimize: bool,
    pub treewidth: bool,
    pub pathwidth: bool,
    pub widths_only: bool,
    pub simplify_house_events: bool,
    pub complement_unity: bool,
    pub delete_term: bool,
    pub early_stop: bool,
    pub delta: f64,
    pub confidence: f64,
    pub burn_in: u64,
    pub vrt: Vrt,
    pub is_bias_factor: f64,
    pub is_max_events: u32,
    pub is_q_min: f64,
    pub stratify_events: u32,
    pub output_file: Option<std::path::PathBuf>,
    pub output_format: OutputFormat,
    pub saphire_project: Option<String>,
    pub saphire_analysis: String,
    pub input_file: Option<std::path::PathBuf>,
}

Trait Implementations

`impl Args for Args`

fn group_id() -> Option<clap::Id>
fn augment_args<'b>(__clap_app: clap::Command) -> clap::Command
fn augment_args_for_update<'b>(__clap_app: clap::Command) -> clap::Command

`impl<ST> CastableFrom for Args`

`impl CommandFactory for Args`

fn command<'b>() -> clap::Command
fn command_for_update<'b>() -> clap::Command

`impl Debug for Args`

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

`impl FromArgMatches for Args`

fn from_arg_matches(__clap_arg_matches: &clap::ArgMatches) -> ::std::result::Result<Self, clap::Error>
fn from_arg_matches_mut(__clap_arg_matches: &mut clap::ArgMatches) -> ::std::result::Result<Self, clap::Error>
fn update_from_arg_matches(&mut self, __clap_arg_matches: &clap::ArgMatches) -> ::std::result::Result<(), clap::Error>
fn update_from_arg_matches_mut(&mut self, __clap_arg_matches: &mut clap::ArgMatches) -> ::std::result::Result<(), clap::Error>

`impl Instrument for Args`

`impl IntoEither for Args`

`impl Parser for Args`

`impl Pointable for Args`

const ALIGN: usize
type Init = T
unsafe fn init(init: <T as Pointable>::Init) -> usize
unsafe fn deref<'a>(ptr: usize) -> &'a T
unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
unsafe fn drop(ptr: usize)

`impl Read for Args`

`impl Same for Args`

type Output = T

`impl<SS> SupersetOf for Args`

fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP

`impl<V> VZip for Args`

fn vzip(self) -> V

`impl WithSubscriber for Args`

Enums

`Vrt`

rust

enum Vrt {
    None,
    Importance,
    Stratified,
}

Trait Implementations

`impl<ST> CastableFrom for Vrt`

`impl Clone for Vrt`

fn clone(&self) -> Vrt — Vrt

`impl Copy for Vrt`

`impl Debug for Vrt`

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

`impl Eq for Vrt`

`impl Instrument for Vrt`

`impl IntoEither for Vrt`

`impl PartialEq for Vrt`

fn eq(&self, other: &Vrt) -> bool — Vrt

`impl Pointable for Vrt`

const ALIGN: usize
type Init = T
unsafe fn init(init: <T as Pointable>::Init) -> usize
unsafe fn deref<'a>(ptr: usize) -> &'a T
unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
unsafe fn drop(ptr: usize)

`impl Read for Vrt`

`impl Same for Vrt`

type Output = T

`impl Scalar for Vrt`

`impl StructuralPartialEq for Vrt`

`impl<SS> SupersetOf for Vrt`

fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP

`impl<V> VZip for Vrt`

fn vzip(self) -> V

`impl ValueEnum for Vrt`

fn value_variants<'a>() -> &'a [Self]
fn to_possible_value<'a>(&self) -> ::std::option::Option<clap::builder::PossibleValue>

`impl WithSubscriber for Vrt`

`Algorithm`

rust

enum Algorithm {
    Bdd,
    Zbdd,
    ZbddDelterm,
    Mocus,
    MocusPi,
    MonteCarlo,
}

Trait Implementations

`impl<ST> CastableFrom for Algorithm`

`impl Clone for Algorithm`

fn clone(&self) -> Algorithm — Algorithm

`impl Copy for Algorithm`

`impl Debug for Algorithm`

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

`impl Eq for Algorithm`

`impl Instrument for Algorithm`

`impl IntoEither for Algorithm`

`impl PartialEq for Algorithm`

fn eq(&self, other: &Algorithm) -> bool — Algorithm

`impl Pointable for Algorithm`

const ALIGN: usize
type Init = T
unsafe fn init(init: <T as Pointable>::Init) -> usize
unsafe fn deref<'a>(ptr: usize) -> &'a T
unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
unsafe fn drop(ptr: usize)

`impl Read for Algorithm`

`impl Same for Algorithm`

type Output = T

`impl Scalar for Algorithm`

`impl StructuralPartialEq for Algorithm`

`impl<SS> SupersetOf for Algorithm`

fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP

`impl<V> VZip for Algorithm`

fn vzip(self) -> V

`impl ValueEnum for Algorithm`

fn value_variants<'a>() -> &'a [Self]
fn to_possible_value<'a>(&self) -> ::std::option::Option<clap::builder::PossibleValue>

`impl WithSubscriber for Algorithm`

`Analysis`

rust

enum Analysis {
    ProbabilityOnly,
    CutsetsOnly,
    CutsetsAndProbability,
    Ccf,
    Sil,
    Uncertainty,
    Importance,
}

Trait Implementations

`impl<ST> CastableFrom for Analysis`

`impl Clone for Analysis`

fn clone(&self) -> Analysis — Analysis

`impl Copy for Analysis`

`impl Debug for Analysis`

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

`impl Eq for Analysis`

`impl Instrument for Analysis`

`impl IntoEither for Analysis`

`impl PartialEq for Analysis`

fn eq(&self, other: &Analysis) -> bool — Analysis

`impl Pointable for Analysis`

const ALIGN: usize
type Init = T
unsafe fn init(init: <T as Pointable>::Init) -> usize
unsafe fn deref<'a>(ptr: usize) -> &'a T
unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
unsafe fn drop(ptr: usize)

`impl Read for Analysis`

`impl Same for Analysis`

type Output = T

`impl Scalar for Analysis`

`impl StructuralPartialEq for Analysis`

`impl<SS> SupersetOf for Analysis`

fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP

`impl<V> VZip for Analysis`

fn vzip(self) -> V

`impl ValueEnum for Analysis`

fn value_variants<'a>() -> &'a [Self]
fn to_possible_value<'a>(&self) -> ::std::option::Option<clap::builder::PossibleValue>

`impl WithSubscriber for Analysis`

`Approximation`

rust

enum Approximation {
    RareEvent,
    Mcub,
}

Trait Implementations

`impl<ST> CastableFrom for Approximation`

`impl Clone for Approximation`

fn clone(&self) -> Approximation — Approximation

`impl Copy for Approximation`

`impl Debug for Approximation`

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

`impl Eq for Approximation`

`impl Instrument for Approximation`

`impl IntoEither for Approximation`

`impl PartialEq for Approximation`

fn eq(&self, other: &Approximation) -> bool — Approximation

`impl Pointable for Approximation`

const ALIGN: usize
type Init = T
unsafe fn init(init: <T as Pointable>::Init) -> usize
unsafe fn deref<'a>(ptr: usize) -> &'a T
unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
unsafe fn drop(ptr: usize)

`impl Read for Approximation`

`impl Same for Approximation`

type Output = T

`impl Scalar for Approximation`

`impl StructuralPartialEq for Approximation`

`impl<SS> SupersetOf for Approximation`

fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP

`impl<V> VZip for Approximation`

fn vzip(self) -> V

`impl ValueEnum for Approximation`

fn value_variants<'a>() -> &'a [Self]
fn to_possible_value<'a>(&self) -> ::std::option::Option<clap::builder::PossibleValue>

`impl WithSubscriber for Approximation`

`CutOffBasis`

rust

enum CutOffBasis {
    Probability,
    Frequency,
}

Trait Implementations

`impl<ST> CastableFrom for CutOffBasis`

`impl Clone for CutOffBasis`

fn clone(&self) -> CutOffBasis — CutOffBasis

`impl Copy for CutOffBasis`

`impl Debug for CutOffBasis`

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

`impl Eq for CutOffBasis`

`impl Instrument for CutOffBasis`

`impl IntoEither for CutOffBasis`

`impl PartialEq for CutOffBasis`

fn eq(&self, other: &CutOffBasis) -> bool — CutOffBasis

`impl Pointable for CutOffBasis`

const ALIGN: usize
type Init = T
unsafe fn init(init: <T as Pointable>::Init) -> usize
unsafe fn deref<'a>(ptr: usize) -> &'a T
unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
unsafe fn drop(ptr: usize)

`impl Read for CutOffBasis`

`impl Same for CutOffBasis`

type Output = T

`impl Scalar for CutOffBasis`

`impl StructuralPartialEq for CutOffBasis`

`impl<SS> SupersetOf for CutOffBasis`

fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP

`impl<V> VZip for CutOffBasis`

fn vzip(self) -> V

`impl ValueEnum for CutOffBasis`

fn value_variants<'a>() -> &'a [Self]
fn to_possible_value<'a>(&self) -> ::std::option::Option<clap::builder::PossibleValue>

`impl WithSubscriber for CutOffBasis`

`Backend`

rust

enum Backend {
    Cpu,
    Cuda,
    Wgpu,
}

Trait Implementations

`impl<ST> CastableFrom for Backend`

`impl Clone for Backend`

fn clone(&self) -> Backend — Backend

`impl Copy for Backend`

`impl Debug for Backend`

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

`impl Eq for Backend`

`impl Instrument for Backend`

`impl IntoEither for Backend`

`impl PartialEq for Backend`

fn eq(&self, other: &Backend) -> bool — Backend

`impl Pointable for Backend`

const ALIGN: usize
type Init = T
unsafe fn init(init: <T as Pointable>::Init) -> usize
unsafe fn deref<'a>(ptr: usize) -> &'a T
unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
unsafe fn drop(ptr: usize)

`impl Read for Backend`

`impl Same for Backend`

type Output = T

`impl Scalar for Backend`

`impl StructuralPartialEq for Backend`

`impl<SS> SupersetOf for Backend`

fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP

`impl<V> VZip for Backend`

fn vzip(self) -> V

`impl ValueEnum for Backend`

fn value_variants<'a>() -> &'a [Self]
fn to_possible_value<'a>(&self) -> ::std::option::Option<clap::builder::PossibleValue>

`impl WithSubscriber for Backend`

`OutputFormat`

rust

enum OutputFormat {
    Xml,
    Ftc,
}

Trait Implementations

`impl<ST> CastableFrom for OutputFormat`

`impl Clone for OutputFormat`

fn clone(&self) -> OutputFormat — OutputFormat

`impl Copy for OutputFormat`

`impl Debug for OutputFormat`

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

`impl Eq for OutputFormat`

`impl Instrument for OutputFormat`

`impl IntoEither for OutputFormat`

`impl PartialEq for OutputFormat`

fn eq(&self, other: &OutputFormat) -> bool — OutputFormat

`impl Pointable for OutputFormat`

const ALIGN: usize
type Init = T
unsafe fn init(init: <T as Pointable>::Init) -> usize
unsafe fn deref<'a>(ptr: usize) -> &'a T
unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
unsafe fn drop(ptr: usize)

`impl Read for OutputFormat`

`impl Same for OutputFormat`

type Output = T

`impl Scalar for OutputFormat`

`impl StructuralPartialEq for OutputFormat`

`impl<SS> SupersetOf for OutputFormat`

fn to_subset(&self) -> Option<SS>
fn is_in_subset(&self) -> bool
fn to_subset_unchecked(&self) -> SS
fn from_subset(element: &SS) -> SP

`impl<V> VZip for OutputFormat`

fn vzip(self) -> V

`impl ValueEnum for OutputFormat`

fn value_variants<'a>() -> &'a [Self]
fn to_possible_value<'a>(&self) -> ::std::option::Option<clap::builder::PossibleValue>

Module args ​

Contents ​

Quick Reference ​

Structs ​

Args ​

Trait Implementations ​

impl Args for Args ​

impl<ST> CastableFrom for Args ​

impl CommandFactory for Args ​

impl Debug for Args ​

impl FromArgMatches for Args ​

impl Instrument for Args ​

impl IntoEither for Args ​

impl Parser for Args ​

impl Pointable for Args ​

impl Read for Args ​

impl Same for Args ​

impl<SS> SupersetOf for Args ​

impl<V> VZip for Args ​

impl WithSubscriber for Args ​

Enums ​

Vrt ​

Trait Implementations ​

impl<ST> CastableFrom for Vrt ​

impl Clone for Vrt ​

impl Copy for Vrt ​

impl Debug for Vrt ​

impl Eq for Vrt ​

impl Instrument for Vrt ​

impl IntoEither for Vrt ​

impl PartialEq for Vrt ​

impl Pointable for Vrt ​

impl Read for Vrt ​

impl Same for Vrt ​

impl Scalar for Vrt ​

impl StructuralPartialEq for Vrt ​

impl<SS> SupersetOf for Vrt ​

impl<V> VZip for Vrt ​

impl ValueEnum for Vrt ​

impl WithSubscriber for Vrt ​

Algorithm ​

Trait Implementations ​

impl<ST> CastableFrom for Algorithm ​

impl Clone for Algorithm ​

impl Copy for Algorithm ​

impl Debug for Algorithm ​

impl Eq for Algorithm ​

impl Instrument for Algorithm ​

impl IntoEither for Algorithm ​

impl PartialEq for Algorithm ​

impl Pointable for Algorithm ​

impl Read for Algorithm ​

impl Same for Algorithm ​

impl Scalar for Algorithm ​

impl StructuralPartialEq for Algorithm ​

impl<SS> SupersetOf for Algorithm ​

impl<V> VZip for Algorithm ​

impl ValueEnum for Algorithm ​

impl WithSubscriber for Algorithm ​

Analysis ​

Trait Implementations ​

impl<ST> CastableFrom for Analysis ​

impl Clone for Analysis ​

impl Copy for Analysis ​

impl Debug for Analysis ​

impl Eq for Analysis ​

impl Instrument for Analysis ​

impl IntoEither for Analysis ​

impl PartialEq for Analysis ​

impl Pointable for Analysis ​

impl Read for Analysis ​

impl Same for Analysis ​

impl Scalar for Analysis ​

impl StructuralPartialEq for Analysis ​

impl<SS> SupersetOf for Analysis ​

impl<V> VZip for Analysis ​

impl ValueEnum for Analysis ​

impl WithSubscriber for Analysis ​

Approximation ​

Trait Implementations ​

Module `args`

Contents

Quick Reference

Structs

`Args`

Trait Implementations

`impl Args for Args`

`impl<ST> CastableFrom for Args`

`impl CommandFactory for Args`

`impl Debug for Args`

`impl FromArgMatches for Args`

`impl Instrument for Args`

`impl IntoEither for Args`

`impl Parser for Args`

`impl Pointable for Args`

`impl Read for Args`

`impl Same for Args`

`impl<SS> SupersetOf for Args`

`impl<V> VZip for Args`

`impl WithSubscriber for Args`

Enums

`Vrt`

Trait Implementations

`impl<ST> CastableFrom for Vrt`

`impl Clone for Vrt`

`impl Copy for Vrt`

`impl Debug for Vrt`

`impl Eq for Vrt`

`impl Instrument for Vrt`

`impl IntoEither for Vrt`

`impl PartialEq for Vrt`

`impl Pointable for Vrt`

`impl Read for Vrt`

`impl Same for Vrt`

`impl Scalar for Vrt`

`impl StructuralPartialEq for Vrt`

`impl<SS> SupersetOf for Vrt`

`impl<V> VZip for Vrt`

`impl ValueEnum for Vrt`

`impl WithSubscriber for Vrt`

`Algorithm`

Trait Implementations

`impl<ST> CastableFrom for Algorithm`

`impl Clone for Algorithm`

`impl Copy for Algorithm`

`impl Debug for Algorithm`

`impl Eq for Algorithm`

`impl Instrument for Algorithm`

`impl IntoEither for Algorithm`

`impl PartialEq for Algorithm`

`impl Pointable for Algorithm`

`impl Read for Algorithm`

`impl Same for Algorithm`

`impl Scalar for Algorithm`

`impl StructuralPartialEq for Algorithm`

`impl<SS> SupersetOf for Algorithm`

`impl<V> VZip for Algorithm`

`impl ValueEnum for Algorithm`

`impl WithSubscriber for Algorithm`

`Analysis`

Trait Implementations

`impl<ST> CastableFrom for Analysis`

`impl Clone for Analysis`

`impl Copy for Analysis`

`impl Debug for Analysis`

`impl Eq for Analysis`

`impl Instrument for Analysis`

`impl IntoEither for Analysis`

`impl PartialEq for Analysis`

`impl Pointable for Analysis`

`impl Read for Analysis`

`impl Same for Analysis`

`impl Scalar for Analysis`

`impl StructuralPartialEq for Analysis`

`impl<SS> SupersetOf for Analysis`

`impl<V> VZip for Analysis`

`impl ValueEnum for Analysis`

`impl WithSubscriber for Analysis`

`Approximation`

Trait Implementations