ds.ov2.test
Class Bignat_protocols_stubs.Rsa_exp_result_result

java.lang.Object
  ds.ov2.test.Bignat_protocols_stubs.Rsa_exp_result_result

Enclosing class:

Bignat_protocols_stubs

public static class Bignat_protocols_stubs.Rsa_exp_result_result
extends Object

Result record for step rsa_exp_result of protocol RSA_exp.

Field Summary

BigInteger	bignats_r_1 Return value bignats.r_1 converted from Bignat.
BigInteger	bignats_r_2 Return value bignats.r_2 converted from Bignat.

Constructor Summary

Bignat_protocols_stubs.Rsa_exp_result_result(BigInteger a0, BigInteger a1)
Return record constructor.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

bignats_r_1

public final BigInteger bignats_r_1

Return value bignats.r_1 converted from Bignat.

bignats_r_2

public final BigInteger bignats_r_2

Return value bignats.r_2 converted from Bignat.

Constructor Detail

Bignat_protocols_stubs.Rsa_exp_result_result

public Bignat_protocols_stubs.Rsa_exp_result_result(BigInteger a0,
                                                    BigInteger a1)

Return record constructor.