ds.ov2.test
Class Bignat_protocols_test_stubs.Div_result_result

java.lang.Object
  ds.ov2.test.Bignat_protocols_test_stubs.Div_result_result

Enclosing class:

Bignat_protocols_test_stubs

public static class Bignat_protocols_test_stubs.Div_result_result
extends Object

Result record for step div_result of protocol div.

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_test_stubs.Div_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_test_stubs.Div_result_result

public Bignat_protocols_test_stubs.Div_result_result(BigInteger a0,
                                                     BigInteger a1)

Return record constructor.