pub fn disjunction(preds: Vec<Predicate>) -> Result<Self, VMError> {
        let point = {
            let f = Predicate::commit_disjunction(preds.iter().map(|p| p.to_point()));
            let l = preds[0]
                .to_point()
                .decompress()
                .ok_or(VMError::InvalidPoint)?;
            l + f * PedersenGens::default().B
        };
        Ok(Predicate::Or(PredicateDisjunction {
            preds: preds,
            precomputed_point: point.compress(),
        }))
    }
/// Creates a disjunction of a vector of predicates.
Creates a disjunction of a vector of predicates.
Creates a disjunction of a vector of predicates .
pub fn disjunction(preds: Vec<Predicate>) -> Result<Self, VMError> {
        let point = {
            let f = Predicate::commit_disjunction(preds.iter().map(|p| p.to_point()));
            let l = preds[0]
                .to_point()
                .decompress()
                .ok_or(VMError::InvalidPoint)?;
            l + f * PedersenGens::default().B
        };
        Ok(Predicate::Or(PredicateDisjunction {
            preds: preds,
            precomputed_point: point.compress(),
        }))
    }
pub fn disjunction ( preds : Vec < Predicate > ) -> Result < Self , VMError > { let point = { let f = Predicate :: commit_disjunction ( preds . iter ( ) . map ( | p | p . to_point ( ) ) ) ; let l = preds [ 0 ] . to_point ( ) . decompress ( ) . ok_or ( VMError :: InvalidPoint ) ? ; l + f * PedersenGens :: default ( ) . B } ; Ok ( Predicate :: Or ( PredicateDisjunction { preds : preds , precomputed_point : point . compress ( ) , } ) ) }
Creates a disjunction of a vector of predicates.
Creates a disjunction of a vector of predicates .
preds
Vec<Predicate>
preds
Vec<Predicate>