home *** CD-ROM | disk | FTP | other *** search
- * "proof.library"
- ##base _ProofBase
- ##bias 30
- ##public
- IsProofA( pathname, taglist )(A0,A1)
- IsProofFromLockA( lock, taglist )(A0,A1)
- AllocProofA( pf, taglist )(A0,A1)
- FreeProofA( pf, taglist )(A0,A1)
- LoadProofA( filename, pf, taglist )(A0,A1,A2)
- LoadProofFromLockA( lock, pf, taglist )(A0,A1,A2)
- SaveProofA( pf, taglist )(A0,A1)
- ConvertToProofA( pf, taglist )(A0,A1)
- ConvertFromProofA( pf, taglist )(A0,A1)
- GetProofAttrsA( pf, taglist )(A0,A1)
- SetProofAttrsA( pf, taglist )(A0,A1)
- ValidProofDesc( pf )(A0)
- AllocProofOwnerA( po, taglist )(A0,A1)
- FreeProofOwnerA( po, taglist )(A0,A1)
- LoadProofOwnerA( filename, po, taglist )(A0,A1,A2)
- SaveProofOwnerA( po, taglist )(A0,A1)
- SetProofOwnerAttrsA( po, taglist )(A0,A1)
- GetProofOwnerAttrsA( po, taglist )(A0,A1)
- SetProofOwnerEntry( po, group, category, name )(A0,D0,D1,A1)
- GetProofOwnerEntry( po, group, category )(A0,D0,D1)
- AllocProofOwnerEntry( po, group, name, bitnum )(A0,D0,A1,A2)
- LoadProofFromBPTRA( fp, pf, taglist )(A0,A1,A2)
- ##end
-