My Project  debian-1:4.1.1-p2+ds-4build3
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 37 of file gitfan.cc.

39  {
40 #ifndef SING_NDEBUG
41  gfan::ZCone c = f.eta;
42  gfan::ZVector v = f.interiorPoint;

◆ facet() [2/3]

facet::facet ( const facet f)

Definition at line 44 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());

◆ facet() [3/3]

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

Definition at line 60 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());

◆ ~facet()

facet::~facet ( )

Definition at line 73 of file gitfan.cc.

78  {
79  std::pair<facets::iterator,bool> check(newFacets.begin(),false);
80  for(facets::iterator p=newFacets.begin(); p!=newFacets.end(); p++)
81  {
82  check = F.insert(*p);
83  if(!check.second)
84  F.erase(check.first);

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:
f
FILE * f
Definition: checklibs.c:9
gitfan::facet::eta
gfan::ZCone eta
Definition: gitfan.h:19
gitfan::facet::facetNormal
gfan::ZVector facetNormal
Definition: gitfan.h:21
w
const CanonicalForm & w
Definition: facAbsFact.cc:55
gitfan::facet::interiorPoint
gfan::ZVector interiorPoint
Definition: gitfan.h:20
assume
#define assume(x)
Definition: mod2.h:390
check
int check
Definition: libparse.cc:1104
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
p
int p
Definition: cfModGcd.cc:4019