Uses of Class
jsdsi.Prover.ProofFoundException

Packages that use Prover.ProofFoundException

jsdsi

Uses of Prover.ProofFoundException in jsdsi

Methods in jsdsi that throw Prover.ProofFoundException

(package private) java.util.Set	RProver.loadReverse(Subject s) Loads the certificates for a given subject to this RProver's certificates.
(package private) java.util.Set	RProver.loadCompatible(Name n) Loads all certificates for a given name-issuer and name-string (local) to thisRProver's certificates.
(package private) void	RProver.insert(Proof p)
(package private) java.util.Set	FProver.loadIssuer(Principal i) Loads all certificates for a given issuer from the cert store to this FProver's stored certificates.
(package private) java.util.Set	FProver.loadValue(Name n) Loads all certificates for the issuer of a given name and a name-string from the cert store to this FProver's stored certificates.
(package private) void	FProver.insert(Proof p)
(package private) abstract void	Prover.insert(Proof p) Inserts the certificates of a given Proof to this Proof.
(package private) void	Prover.insertCertificates(java.util.Collection certs) Provides new certificates for this prover.
(package private) java.util.Set	Prover.load(java.util.Set cache, java.lang.Object key, CertSelector sel, MultiMap map) If a given set does not contain a given object, all certficates from the cert-store for a given CertSelector will be added to this proof's certificates.