My Project
Loading...
Searching...
No Matches
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::ZCone eta
Definition: gitfan.h:19
gfan::ZVector facetNormal
Definition: gitfan.h:21
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),
37 interiorPoint(f.interiorPoint),
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 }
FILE * f
Definition: checklibs.c:9
const CanonicalForm & w
Definition: facAbsFact.cc:51
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:39
#define assume(x)
Definition: mod2.h:389

◆ 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),
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 }

◆ ~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 }

Member Function Documentation

◆ getEta()

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

Definition at line 30 of file gitfan.h.

30{ return this->eta; };

◆ getFacetNormal()

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

Definition at line 32 of file gitfan.h.

32{ return this->facetNormal; };

◆ getInteriorPoint()

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

Definition at line 31 of file gitfan.h.

31{ return this->interiorPoint; };

Friends And Related Function Documentation

◆ facet_compare

friend struct facet_compare
friend

Definition at line 34 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: