pub struct Cuts {
pub reduction: bool,
pub extension: Option<Cut>,
pub decomposition: Option<Cut>,
}
Expand description
Backtracking restrictions for different kinds of proof steps.
Fields§
§reduction: bool
perform (inclusive) cut on reduction steps
extension: Option<Cut>
perform cut on extension steps
decomposition: Option<Cut>
perform cut on decomposition steps
Implementations§
Trait Implementations§
source§impl<'de> Deserialize<'de> for Cuts
impl<'de> Deserialize<'de> for Cuts
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Copy for Cuts
Auto Trait Implementations§
impl RefUnwindSafe for Cuts
impl Send for Cuts
impl Sync for Cuts
impl Unpin for Cuts
impl UnwindSafe for Cuts
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more