My Project  debian-1:4.1.1-p2+ds-4build3
Static Public Member Functions
ap::ap_error Class Reference

#include <ap.h>

Static Public Member Functions

static void make_assertion (bool bClause)
 
static void make_assertion (bool bClause)
 

Detailed Description

Definition at line 51 of file ap.h.

Member Function Documentation

◆ make_assertion() [1/2]

static void ap::ap_error::make_assertion ( bool  bClause)
inlinestatic

Definition at line 61 of file ap.h.

61  :
62  complex():x(0.0),y(0.0){};

◆ make_assertion() [2/2]

static void ap::ap_error::make_assertion ( bool  bClause)
inlinestatic

Definition at line 69 of file svd_si.h.

69  :
70  complex():x(0.0),y(0.0){};

The documentation for this class was generated from the following files:
x
Variable x
Definition: cfModGcd.cc:4023
y
const CanonicalForm int const CFList const Variable & y
Definition: facAbsFact.cc:57