pub fn to_standard_form(&self) -> Self {
        let shrunken_self = self.shrunken(self.satisfiable_nodes()).0;
        let mut raw_shrunken_self = shrunken_self.to_raw();
        raw_shrunken_self
            .0
            .sort_by_cached_key(|n| n.public_key.clone());
        Fbas::from_raw(raw_shrunken_self)
    }
/// Removes all unsatisfiable nodes and reorders node IDs so that nodes are sorted by public
/// key.
Removes all unsatisfiable nodes and reorders node IDs so that nodes are sorted by public
key.
Removes all unsatisfiable nodes and reorders node IDs so that nodes are sorted by public key .
pub fn to_standard_form(&self) -> Self {
        let shrunken_self = self.shrunken(self.satisfiable_nodes()).0;
        let mut raw_shrunken_self = shrunken_self.to_raw();
        raw_shrunken_self
            .0
            .sort_by_cached_key(|n| n.public_key.clone());
        Fbas::from_raw(raw_shrunken_self)
    }
pub fn to_standard_form ( & self ) -> Self { let shrunken_self = self . shrunken ( self . satisfiable_nodes ( ) ) . 0 ; let mut raw_shrunken_self = shrunken_self . to_raw ( ) ; raw_shrunken_self . 0 . sort_by_cached_key ( | n | n . public_key . clone ( ) ) ; Fbas :: from_raw ( raw_shrunken_self ) }
Removes all unsatisfiable nodes and reorders node IDs so that nodes are sorted by public
key.
Removes all unsatisfiable nodes and reorders node IDs so that nodes are sorted by public key .
&self
&self