Boolean function ( Boolean arg0 , HashMap < Responses , ElGamalKey > arg1 , ResEncrypt arg2 , Responses ... arg3 ) { And loc0 = new And ( this , arg1 , arg2 , arg3 ) ; return loc0 . Verifies ( arg0 ) ; }
create the and response and verify a and response concode_field_sep PlaceHolder placeHolder concode_field_sep Boolean VerifiesChallenges concode_elem_sep Boolean VerifiesChallenge