/* Copyright 2003-2006, Voltage Security, all rights reserved.
 */

#include "ictk.h"
#include "xbn_z.h"
#include "xbn_fp.h"
#include "xbn_fp2.h"

#ifndef XEC_PT1_H
#define XEC_PT1_H

#ifdef __cplusplus
extern "C" {
#endif

/* allocates and inits new pt1
 */
int pt1New (
   pt1_t **newPt1,
   bf_context_t *bf
   );

/* clears and deallocates pt1
 */
void pt1Del (
   pt1_t *r
   );

/* Is r == 0?
 */
bool_t pt1IsZero (
   pt1_t *r
   );

/* Is r == s?
 */
bool_t pt1IsEqual (
   pt1_t *r,
   pt1_t *s
   );

/* set r = a
 */
int pt1Set (
   pt1_t *r,
   pt1_t *a
   );

/* Set r = 0
 */
int pt1Set0 (
   pt1_t *r
   );

#ifdef __cplusplus
}
#endif

#endif // XEC_PT1_H