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 31 of file gitfan.cc.

31  :
32  eta(gfan::ZCone()),
33  interiorPoint(gfan::ZVector()),
34  facetNormal(gfan::ZVector())
35  {
36  }
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 38 of file gitfan.cc.

38  :
39  eta(f.eta),
41  facetNormal(f.facetNormal)
42  {
43 #ifndef SING_NDEBUG
44  gfan::ZCone c = f.eta;
45  gfan::ZVector v = f.interiorPoint;
46  gfan::ZVector w = f.facetNormal;
47  assume(c.ambientDimension() == (int)v.size());
48  assume(c.ambientDimension() == (int)w.size());
49  assume(c.contains(v));
50  assume(!c.contains(w));
51 #endif
52  }
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:394
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 54 of file gitfan.cc.

54  :
55  eta(c),
57  facetNormal(w)
58  {
59 #ifndef SING_NDEBUG
60  assume(c.ambientDimension() == (int)v.size());
61  assume(c.ambientDimension() == (int)w.size());
62  assume(c.contains(v));
63  assume(!c.contains(w));
64 #endif
65  }
gfan::ZVector facetNormal
Definition: gitfan.h:21
gfan::ZCone eta
Definition: gitfan.h:19
#define assume(x)
Definition: mod2.h:394
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 67 of file gitfan.cc.

68  {
69 #ifndef SING_NDEBUG
70  gfan::ZCone c = this->eta;
71  gfan::ZVector v = this->interiorPoint;
72  gfan::ZVector w = this->facetNormal;
73  assume(c.ambientDimension() == (int)v.size());
74  assume(c.ambientDimension() == (int)w.size());
75  assume(c.contains(v));
76  assume(!c.contains(w));
77 #endif
78  }
gfan::ZVector facetNormal
Definition: gitfan.h:21
gfan::ZCone eta
Definition: gitfan.h:19
#define assume(x)
Definition: mod2.h:394
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: