HomeSort by relevance Sort by last modified time
    Searched refs:Proof (Results 1 - 4 of 4) sorted by null

  /external/google-fruit/include/fruit/impl/meta/
proof_trees.h 31 // following proof tree:
40 // A proof forest is a map (i.e. a Set of Pair(s)) from each Th to the corresponding set of Hps.
41 // Note that a proof forest doesn't need to have any additional property (for example, a proof tree
65 template <typename Forest, typename Proof>
  /external/pdfium/third_party/lcms/src/
cmsgmt.c 137 // using the proof direction on both profiles to find K->L* relationship
219 cmsUInt16Number Proof[cmsMAXCHANNELS], Proof2[cmsMAXCHANNELS];
230 cmsDoTransform(t -> hForward, &LabIn1, Proof, 1);
233 cmsDoTransform(t -> hReverse, Proof, &LabOut1, 1);
  /external/boringssl/src/ssl/test/runner/curve25519/
curve25519.go 150 // Proof:
  /external/boringssl/src/ssl/test/runner/ed25519/internal/edwards25519/
edwards25519.go 116 // Proof:
    [all...]

Completed in 356 milliseconds