/dports/math/cvc4/CVC4-1.7/src/util/ |
H A D | result.h | 39 enum Sat { UNSAT = 0, SAT = 1, SAT_UNKNOWN = 2 }; enum 80 Result(const Result& r, std::string inputName) { in Result()
|
/dports/math/polylib/polylib-5.22.5/source/kernel/ |
H A D | polyhedron.c | 266 static SatMatrix *TransformSat(Matrix *Mat, Matrix *Ray, SatMatrix *Sat) { in TransformSat() 354 static void SatMatrix_Extend(SatMatrix *Sat, Matrix* Mat, unsigned rows) in SatMatrix_Extend() 1910 SatMatrix *Sat = NULL; in Constraints2Polyhedron() local 2087 SatMatrix *Sat = NULL, *SatTranspose = NULL; in Rays2Polyhedron() local 2239 SatMatrix *Sat = NULL; in BuildSat() local 2297 SatMatrix *Sat = NULL; in AddConstraints() local 2512 SatMatrix *Sat = NULL; in SubConstraint() local 2665 SatMatrix *Sat = NULL, *SatTranspose = NULL; in AddRays() local 2905 SatMatrix *Sat = NULL; in FindSimple() local 3124 SatMatrix *Sat = NULL; in SimplifyConstraints() local [all …]
|
H A D | vector.c | 291 cp1=p1; 292 cp2=p2; 316 value_subtract(*cp3,*cp1,*cp2); in Add_CEqualities() 371 * Puts negative of 'p1' in 'p2' 758 #define MAX_CACHE_SIZE 20 in Poly2Sat()
|
/dports/math/barvinok/barvinok-0.41.5/polylib/source/kernel/ |
H A D | polyhedron.c | 266 static SatMatrix *TransformSat(Matrix *Mat, Matrix *Ray, SatMatrix *Sat) { in TransformSat() 354 static void SatMatrix_Extend(SatMatrix *Sat, Matrix* Mat, unsigned rows) in SatMatrix_Extend() 1910 SatMatrix *Sat = NULL; in Constraints2Polyhedron() local 2087 SatMatrix *Sat = NULL, *SatTranspose = NULL; in Rays2Polyhedron() local 2239 SatMatrix *Sat = NULL; in BuildSat() local 2297 SatMatrix *Sat = NULL; in AddConstraints() local 2512 SatMatrix *Sat = NULL; in SubConstraint() local 2665 SatMatrix *Sat = NULL, *SatTranspose = NULL; in AddRays() local 2905 SatMatrix *Sat = NULL; in FindSimple() local 3124 SatMatrix *Sat = NULL; in SimplifyConstraints() local [all …]
|
H A D | polyparam.c | 289 static SatMatrix *Sat; /* Saturation Matrix (row=constraint, col=ray)*/ variable 316 Polyhedron *d,*r,*tmp; in Add_CEqualities() local 369 int j,k,c,r; in traite_m_face() local 758 SatMatrix *Sat; in Poly2Sat() local
|
/dports/astro/gpstk/GPSTk-8.0.0/ext/lib/Geomatics/ |
H A D | SunEarthSatGeometry.cpp | 113 for(int i=0; i<3; i++) { double r=R(0,i); R(0,i)=R(2,i); R(2,i)=r; } in UpEastNorth() local 187 double r=AngRadSun, R=AngRadEarth, L=AngSeparation; in ShadowFactor() local 252 Matrix<double> SatelliteAttitude(const Position& Sat, const Position& Sun) in SatelliteAttitude() 413 double SatelliteEarthSunAngle(const Position& Sat, const Position& Sun) in SatelliteEarthSunAngle()
|
/dports/science/erkale/erkale-8297aefe5aac9dbbb291e04c07661f3cff94a99a/src/ |
H A D | badergrid.cpp | 179 coords_t r=track_to_maximum(*basp,P,shellpoints[ip].r,nd,ng); in construct_bader() local 395 arma::mat Sat(regional_overlap(i)); in regional_charges() local 429 coords_t r(r0); in track_to_maximum() local
|
H A D | dftgrid.cpp | 3200 double r=norm(nuclei[inuc].r-grid[ip].r); in eval_SAP() local 3788 arma::mat Sat(N,N); in eval_overlap() local 3836 std::vector<arma::mat> Sat(basp->get_Nnuc()); in eval_overlaps() local 4078 arma::mat Sat(N,N); in eval_hirshfeld_overlap() local 4108 std::vector<arma::mat> Sat(basp->get_Nnuc()); in eval_hirshfeld_overlaps() local
|
/dports/science/erkale-pseudopotentials/erkale-870e772f09631b3dbdd99a18e4f3d4786d684a01/src/ |
H A D | badergrid.cpp | 179 coords_t r=track_to_maximum(*basp,P,shellpoints[ip].r,nd,ng); in construct_bader() local 395 arma::mat Sat(regional_overlap(i)); in regional_charges() local 429 coords_t r(r0); in track_to_maximum() local
|
H A D | dftgrid.cpp | 3200 double r=norm(nuclei[inuc].r-grid[ip].r); in eval_SAP() local 3788 arma::mat Sat(N,N); in eval_overlap() local 3836 std::vector<arma::mat> Sat(basp->get_Nnuc()); in eval_overlaps() local 4078 arma::mat Sat(N,N); in eval_hirshfeld_overlap() local 4108 std::vector<arma::mat> Sat(basp->get_Nnuc()); in eval_hirshfeld_overlaps() local
|
/dports/www/firefox-legacy/firefox-52.8.0esr/gfx/skia/skia/src/core/ |
H A D | SkXfermode.cpp | 72 static Sk4f set_argb(float a, float r, float g, float b) { in set_argb() 201 static inline float Lum(float r, float g, float b) { in Lum() 213 static inline float Sat(float r, float g, float b) { in Sat() function 697 int r = 255*(sc + dc) - 2 * sc * dc; in exclusion_byte() local 715 static inline int Lum(int r, int g, int b) in Lum() 725 static inline int Sat(int r, int g, int b) { in Sat() function 819 int r = blendfunc_nonsep_byte(sr, dr, sa, da, Sr); in hue_modeproc() local 853 int r = blendfunc_nonsep_byte(sr, dr, sa, da, Dr); in saturation_modeproc() local 886 int r = blendfunc_nonsep_byte(sr, dr, sa, da, Sr); in color_modeproc() local 937 static void assert_unit(const SkPM4f& r) { in assert_unit() [all …]
|
/dports/astro/openuniverse/openuniverse-1.0beta3/src/ |
H A D | ou.h | 134 float r, g, b, a; member 143 int Sat, CustomFunction; member
|
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/impl-trait/ |
H A D | example-calendar.rs | 180 Sat, enumerator 719 let r = &[1, 2, 3, 4, 5, 6, 7]; in test_chunks() localVariable
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/pdfium/core/fxge/dib/ |
H A D | cfx_scanlinecompositor.cpp | 132 int Sat(RGB color) { in Sat() function 2833 uint8_t r; in InitSourcePalette() local 2857 uint8_t r; in InitSourcePalette() local 2892 uint8_t r; in InitSourcePalette() local
|
/dports/lang/spidermonkey60/firefox-60.9.0/modules/pdfium/pdfium/core/fxge/dib/ |
H A D | fx_dib_composite.cpp | 143 int Sat(RGB color) { in Sat() function 3839 uint8_t r, g, b; in ScanlineCompositor_InitSourceMask() local 3941 uint8_t r, g, b; in ScanlineCompositor_InitSourcePalette() local 3962 uint8_t r, g, b; in ScanlineCompositor_InitSourcePalette() local 3997 uint8_t r, g, b; in ScanlineCompositor_InitSourcePalette() local 4665 uint8_t r, g, b; in CompositeRect() local
|
/dports/editors/texmaker/texmaker-5.0.3/pdfium/core/fxge/dib/ |
H A D | fx_dib_composite.cpp | 142 int Sat(RGB color) { in Sat() function 3838 uint8_t r, g, b; in ScanlineCompositor_InitSourceMask() local 3940 uint8_t r, g, b; in ScanlineCompositor_InitSourcePalette() local 3961 uint8_t r, g, b; in ScanlineCompositor_InitSourcePalette() local 3996 uint8_t r, g, b; in ScanlineCompositor_InitSourcePalette() local 4663 uint8_t r, g, b; in CompositeRect() local
|
/dports/mail/rspamd/rspamd-3.1/contrib/languages-data/ |
H A D | ms.json | 1 …6762,"V":4890,"Q":1060,"P":46573,"S":49712,"R":17401,"Y":3291,"X":535,"Z":1931,"f":21309,"g":26717… number
|
H A D | eu.json | 1 …":3928,"V":9991,"Q":1167,"P":21838,"S":30092,"R":9657,"Y":2494,"X":2077,"Z":5511,"f":39789,"g":194… number
|
H A D | ga.json | 1 …J":910,"K":695,"U":762,"T":5807,"W":639,"V":513,"Q":100,"P":3001,"S":6241,"R":3017,"Y":140,"X":81,… number
|
H A D | ro.json | 1 …878,"V":8350,"Q":589,"P":22438,"S":30214,"R":23700,"Y":1325,"X":1901,"Z":1899,"f":89747,"g":84289,… number
|
H A D | cy.json | 1 …,"W":5139,"V":1175,"Q":331,"P":10920,"S":18433,"R":8785,"Y":6381,"X":156,"Z":358,"f":102454,"g":12… number
|
/dports/mail/rspamd-devel/rspamd-93430bb/contrib/languages-data/ |
H A D | eu.json | 1 …":3928,"V":9991,"Q":1167,"P":21838,"S":30092,"R":9657,"Y":2494,"X":2077,"Z":5511,"f":39789,"g":194… number
|
H A D | ms.json | 1 …6762,"V":4890,"Q":1060,"P":46573,"S":49712,"R":17401,"Y":3291,"X":535,"Z":1931,"f":21309,"g":26717… number
|
H A D | cy.json | 1 …,"W":5139,"V":1175,"Q":331,"P":10920,"S":18433,"R":8785,"Y":6381,"X":156,"Z":358,"f":102454,"g":12… number
|
H A D | ga.json | 1 …J":910,"K":695,"U":762,"T":5807,"W":639,"V":513,"Q":100,"P":3001,"S":6241,"R":3017,"Y":140,"X":81,… number
|