Struct Options 

pub struct Options { /* private fields */ }

Configuration options for the Vampire theorem prover.

Options allow you to configure the behavior of the prover, such as setting time limits. Use the builder pattern to construct options.

Examples

use vampire_prover::Options;
use std::time::Duration;

// Default options (no timeout)
let opts = Options::new();

// Set a timeout
let opts = Options::new().timeout(Duration::from_secs(5));

Implementations

impl Options

pub fn new() -> Self

Creates a new Options with default settings.

By default, no timeout is set.

Examples

use vampire_prover::Options;

let opts = Options::new();

pub fn timeout(self, duration: Duration) -> Self

Sets the timeout for the prover.

If the prover exceeds this time limit, it will return [ProofRes::Unknown(UnknownReason::Timeout)].

Arguments

• duration - The maximum time the prover should run

Examples

use vampire_prover::Options;
use std::time::Duration;

let opts = Options::new().timeout(Duration::from_secs(10));

Trait Implementations

impl Clone for Options

fn clone(&self) -> Options

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Options

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

Formats the value using the given formatter.

impl Default for Options

fn default() -> Self

Returns the “default value” for a type.