Public Member Functions | Private Attributes | Friends
gitfan::facet Class Reference

#include <gitfan.h>

Public Member Functions

 facet ()
 
 facet (const facet &f)
 
 facet (const gfan::ZCone &c, const gfan::ZVector &v, const gfan::ZVector &w)
 
 ~facet ()
 
gfan::ZCone getEta ()
 
gfan::ZVector getInteriorPoint ()
 
gfan::ZVector getFacetNormal ()
 

Private Attributes

gfan::ZCone eta
 
gfan::ZVector interiorPoint
 
gfan::ZVector facetNormal
 

Friends

struct facet_compare
 

Detailed Description

Definition at line 17 of file gitfan.h.

Constructor & Destructor Documentation

◆ facet() [1/3]

facet::facet ( )

Definition at line 28 of file gitfan.cc.

28  :
29  eta(gfan::ZCone()),
30  interiorPoint(gfan::ZVector()),
31  facetNormal(gfan::ZVector())
32  {
33  }
gfan::ZVector facetNormal
Definition: gitfan.h:21
gfan::ZCone eta
Definition: gitfan.h:19
gfan::ZVector interiorPoint
Definition: gitfan.h:20

◆ facet() [2/3]

facet::facet ( const facet f)

Definition at line 35 of file gitfan.cc.

35  :
36  eta(f.eta),
38  facetNormal(f.facetNormal)
39  {
40 #ifndef SING_NDEBUG
41  gfan::ZCone c = f.eta;
42  gfan::ZVector v = f.interiorPoint;
43  gfan::ZVector w = f.facetNormal;
44  assume(c.ambientDimension() == (int)v.size());
45  assume(c.ambientDimension() == (int)w.size());
46  assume(c.contains(v));
47  assume(!c.contains(w));
48 #endif
49  }
gfan::ZVector facetNormal
Definition: gitfan.h:21
gfan::ZCone eta
Definition: gitfan.h:19
int64vec * interiorPoint
An interior point of the facet.
Definition: gfan.h:51
#define assume(x)
Definition: mod2.h:390
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
gfan::ZVector interiorPoint
Definition: gitfan.h:20
const CanonicalForm & w
Definition: facAbsFact.cc:55

◆ facet() [3/3]

facet::facet ( const gfan::ZCone &  c,
const gfan::ZVector &  v,
const gfan::ZVector &  w 
)

Definition at line 51 of file gitfan.cc.

51  :
52  eta(c),
54  facetNormal(w)
55  {
56 #ifndef SING_NDEBUG
57  assume(c.ambientDimension() == (int)v.size());
58  assume(c.ambientDimension() == (int)w.size());
59  assume(c.contains(v));
60  assume(!c.contains(w));
61 #endif
62  }
gfan::ZVector facetNormal
Definition: gitfan.h:21
gfan::ZCone eta
Definition: gitfan.h:19
#define assume(x)
Definition: mod2.h:390
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
gfan::ZVector interiorPoint
Definition: gitfan.h:20
const CanonicalForm & w
Definition: facAbsFact.cc:55

◆ ~facet()

facet::~facet ( )

Definition at line 64 of file gitfan.cc.

65  {
66 #ifndef SING_NDEBUG
67  gfan::ZCone c = this->eta;
68  gfan::ZVector v = this->interiorPoint;
69  gfan::ZVector w = this->facetNormal;
70  assume(c.ambientDimension() == (int)v.size());
71  assume(c.ambientDimension() == (int)w.size());
72  assume(c.contains(v));
73  assume(!c.contains(w));
74 #endif
75  }
gfan::ZVector facetNormal
Definition: gitfan.h:21
gfan::ZCone eta
Definition: gitfan.h:19
#define assume(x)
Definition: mod2.h:390
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
gfan::ZVector interiorPoint
Definition: gitfan.h:20
const CanonicalForm & w
Definition: facAbsFact.cc:55

Member Function Documentation

◆ getEta()

gfan::ZCone gitfan::facet::getEta ( )
inline

Definition at line 30 of file gitfan.h.

30 { return this->eta; };
gfan::ZCone eta
Definition: gitfan.h:19

◆ getFacetNormal()

gfan::ZVector gitfan::facet::getFacetNormal ( )
inline

Definition at line 32 of file gitfan.h.

32 { return this->facetNormal; };
gfan::ZVector facetNormal
Definition: gitfan.h:21

◆ getInteriorPoint()

gfan::ZVector gitfan::facet::getInteriorPoint ( )
inline

Definition at line 31 of file gitfan.h.

31 { return this->interiorPoint; };
gfan::ZVector interiorPoint
Definition: gitfan.h:20

Friends And Related Function Documentation

◆ facet_compare

friend struct facet_compare
friend

Definition at line 32 of file gitfan.h.

Field Documentation

◆ eta

gfan::ZCone gitfan::facet::eta
private

Definition at line 19 of file gitfan.h.

◆ facetNormal

gfan::ZVector gitfan::facet::facetNormal
private

Definition at line 21 of file gitfan.h.

◆ interiorPoint

gfan::ZVector gitfan::facet::interiorPoint
private

Definition at line 20 of file gitfan.h.


The documentation for this class was generated from the following files: