Home
last modified time | relevance | path

Searched refs:SArray (Results 1 – 25 of 139) sorted by relevance

123456

/dports/math/jags/JAGS-4.3.0/src/lib/sarray/
H A DSArray.cc16 SArray::SArray(vector<unsigned int> const &dim) in SArray() function in jags::SArray
22 SArray::SArray(SArray const &orig) in SArray() function in jags::SArray
28 SimpleRange const &SArray::range() const in range()
33 void SArray::setValue(vector<double> const &x) in setValue()
44 void SArray::setValue(vector<int> const &x) in setValue()
55 void SArray::setValue(double value, unsigned int i) in setValue()
65 vector<double> const &SArray::value() const in value()
70 bool SArray::isDiscreteValued() const in isDiscreteValued()
75 vector<string> const &SArray::dimNames() const in dimNames()
80 void SArray::setDimNames(vector<string> const &names) in setDimNames()
[all …]
/dports/math/polymake/polymake-4.5/apps/matroid/src/
H A Dbasic_transformations.cc24 using SArray = Array<Set<Int>>; typedef
26 SArray bases_to_circuits(const SArray& bases, const Int n) in bases_to_circuits()
33 SArray c(n); in bases_to_circuits()
38 if (r == n) return SArray(0); in bases_to_circuits()
68 SArray circuits_to_bases(const SArray& circuits, const Int n) in circuits_to_bases()
89 return SArray(n_bases, entire(bases)); in circuits_to_bases()
93 SArray circuits_to_bases_rank(const SArray& circuits, const Int n, const Int rank) in circuits_to_bases_rank()
108 return SArray(n_bases, entire(bases)); in circuits_to_bases_rank()
111 SArray circuits_to_hyperplanes(const SArray& circuits, const Int n, const Int rank) in circuits_to_hyperplanes()
114 return SArray(0); in circuits_to_hyperplanes()
[all …]
/dports/games/odamex/odamex-src-0.7.0/common/
H A Dsarray.h74 class SArray
77 typedef SArray<VT> SArrayType;
146 friend class SArray<VT>;
164 SArray(unsigned int size) in SArray() function
171 SArray(const SArrayType& other) in SArray() function
177 ~SArray() in ~SArray()
199 mIdKey = SArray::MIN_KEY; in clear()
328 return SArray::NOT_FOUND; in getSlot()
340 if (mIdKey > SArray::MAX_KEY) in generateId()
341 mIdKey = SArray::MIN_KEY; in generateId()
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Arrays/
H A DMemory.hs98 …[ testCase "raw_SArray" $ assertIsThm (raw :: Address -> Value -> Memory SArray …
101 …ray" $ assertIsThm (rawd :: Address -> Address -> Value -> Memory SArray -> SBool)
104 … $ assertIsThm (waw :: Address -> Value -> Value -> Memory SArray -> Address -> S…
113 …t_SArray" $ assertIsThm (extensionality :: Memory SArray -> Memory SArray -> Predic…
115 …SArray" $ assertIsThm (extensionality2 :: Memory SArray -> Memory SArray -> Ad…
118 …geEq_SArray" $ assertIsThm (mergeEq :: SBool -> Memory SArray -> Memory SArray -> SBool)
120 …t_SArray" $ assertIsThm (mergeExt :: SBool -> Memory SArray -> Memory SArray -> Ad…
123 …m_SArray" $ assertIsThm (mergeSem :: SBool -> Memory SArray -> Memory SArray -> Ad…
126 …2_SArray" $ assertIsThm (mergeSem2 :: SBool -> Memory SArray -> Memory SArray -> (A…
129 …, testCase "mergeSem3_SArray" $ assertIsThm (mergeSem3 :: SBool -> Memory SArray -> (A…
[all …]
H A DQuery.hs39 q1 = do m :: SArray Word8 Int8 <- newArray "a" Nothing
89 q5 = do m :: SArray Word8 Int8 <- newArray "a" Nothing
110 q6 = do (a :: SArray Integer Integer) <- newArray "a" Nothing
128 q7 = do x :: SArray Integer Integer <- newArray "x" Nothing
142 q8 = query $ do x :: SArray Integer Integer <- freshArray "x" Nothing
H A DInitVals.hs61 …[ testCase "readDef_SArray" $ assertIsThm (readDef (undefined :: SArray Integer In…
64 …, testCase "readDef2_SArray2" $ assertIsSat (readNoDef (undefined :: SArray Integer …
67 , goldenCapturedIO "constArr_SArray" $ t (undefined :: SArray Integer Integer)
70 , goldenCapturedIO "constArr2_SArray" $ t2 (undefined :: SArray Integer Integer)
/dports/math/jags/JAGS-4.3.0/src/include/sarray/
H A DSArray.h16 class SArray
23 SArray &operator=(SArray const &rhs);
33 SArray(std::vector<unsigned int> const &dim);
42 SArray(SArray const &orig);
/dports/math/jags/JAGS-4.3.0/src/lib/model/
H A DSymTab.cc66 void SymTab::writeData(map<string, SArray> const &data_table) in writeData()
68 for(map<string, SArray>::const_iterator p(data_table.begin()); in writeData()
83 void SymTab::writeValues(map<string, SArray> const &data_table, in writeValues()
86 for(map<string, SArray>::const_iterator p(data_table.begin()); in writeValues()
103 static bool allMissing(SArray const &sarray) in allMissing()
114 void SymTab::readValues(map<string, SArray> &data_table, in readValues()
126 SArray read_values(p->second->range().dim(false)); in readValues()
136 data_table.insert(pair<string,SArray>(name, read_values)); in readValues()
/dports/devel/bullet/bullet3-3.21/Extras/VHACD/inc/
H A DvhacdSArray.h28 class SArray
124 void operator=(const SArray& rhs)
141 SArray(const SArray& rhs) in SArray() function
148 SArray() in SArray() function
152 ~SArray() in ~SArray()
H A DvhacdMesh.h101 void CopyPoints(SArray<Vec3<double> >& points) const { points = m_points; } in CopyPoints()
107 SArray<Vec3<double> >& positivePart,
108 SArray<Vec3<double> >& negativePart) const;
125 SArray<Vec3<double> > m_points;
126 SArray<Vec3<int> > m_triangles;
H A DvhacdVolume.h52 virtual void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
53 SArray<Vec3<double> >* const negativePts, const size_t sampling) const = 0;
55 SArray<Vec3<double> >* const exteriorPts) const = 0;
115 void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
116 SArray<Vec3<double> >* const negativePts, const size_t sampling) const;
118 SArray<Vec3<double> >* const exteriorPts) const;
138 SArray<Voxel, 8> m_voxels;
183 void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
184 SArray<Vec3<double> >* const negativePts, const size_t sampling) const;
186 SArray<Vec3<double> >* const exteriorPts) const;
[all …]
/dports/devel/godot/godot-3.2.3-stable/thirdparty/vhacd/inc/
H A DvhacdSArray.h27 class SArray {
119 void operator=(const SArray& rhs)
135 SArray(const SArray& rhs) in SArray() function
142 SArray() in SArray() function
146 ~SArray() in ~SArray()
H A DvhacdMesh.h97 void CopyPoints(SArray<Vec3<double> >& points) const { points = m_points; } in CopyPoints()
103 SArray<Vec3<double> >& positivePart,
104 SArray<Vec3<double> >& negativePart) const;
122 SArray<Vec3<double> > m_points;
123 SArray<Vec3<int32_t> > m_triangles;
H A DvhacdVolume.h54 virtual void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
55 SArray<Vec3<double> >* const negativePts, const size_t sampling) const = 0;
57 SArray<Vec3<double> >* const exteriorPts) const = 0;
115 void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
116 SArray<Vec3<double> >* const negativePts, const size_t sampling) const;
118 SArray<Vec3<double> >* const exteriorPts) const;
138 SArray<Voxel, 8> m_voxels;
181 void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
182 SArray<Vec3<double> >* const negativePts, const size_t sampling) const;
184 SArray<Vec3<double> >* const exteriorPts) const;
[all …]
/dports/devel/godot-tools/godot-3.2.3-stable/thirdparty/vhacd/inc/
H A DvhacdSArray.h27 class SArray {
119 void operator=(const SArray& rhs)
135 SArray(const SArray& rhs) in SArray() function
142 SArray() in SArray() function
146 ~SArray() in ~SArray()
H A DvhacdMesh.h97 void CopyPoints(SArray<Vec3<double> >& points) const { points = m_points; } in CopyPoints()
103 SArray<Vec3<double> >& positivePart,
104 SArray<Vec3<double> >& negativePart) const;
122 SArray<Vec3<double> > m_points;
123 SArray<Vec3<int32_t> > m_triangles;
H A DvhacdVolume.h54 virtual void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
55 SArray<Vec3<double> >* const negativePts, const size_t sampling) const = 0;
57 SArray<Vec3<double> >* const exteriorPts) const = 0;
115 void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
116 SArray<Vec3<double> >* const negativePts, const size_t sampling) const;
118 SArray<Vec3<double> >* const exteriorPts) const;
138 SArray<Voxel, 8> m_voxels;
181 void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
182 SArray<Vec3<double> >* const negativePts, const size_t sampling) const;
184 SArray<Vec3<double> >* const exteriorPts) const;
[all …]
/dports/science/chrono/chrono-7.0.1/src/chrono_thirdparty/HACD/
H A DhacdSArray.h27 template < typename T, size_t N > class SArray
115 void operator=(const SArray & rhs)
132 SArray(const SArray & rhs) in SArray() function
139 SArray() in SArray() function
143 ~SArray() in ~SArray()
/dports/devel/py-bullet3/bullet3-3.21/Extras/VHACD/inc/
H A DvhacdSArray.h28 class SArray
124 void operator=(const SArray& rhs)
141 SArray(const SArray& rhs) in SArray() function
148 SArray() in SArray() function
152 ~SArray() in ~SArray()
H A DvhacdMesh.h101 void CopyPoints(SArray<Vec3<double> >& points) const { points = m_points; } in CopyPoints()
107 SArray<Vec3<double> >& positivePart,
108 SArray<Vec3<double> >& negativePart) const;
125 SArray<Vec3<double> > m_points;
126 SArray<Vec3<int> > m_triangles;
H A DvhacdVolume.h52 virtual void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
53 SArray<Vec3<double> >* const negativePts, const size_t sampling) const = 0;
55 SArray<Vec3<double> >* const exteriorPts) const = 0;
115 void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
116 SArray<Vec3<double> >* const negativePts, const size_t sampling) const;
118 SArray<Vec3<double> >* const exteriorPts) const;
138 SArray<Voxel, 8> m_voxels;
183 void Intersect(const Plane& plane, SArray<Vec3<double> >* const positivePts,
184 SArray<Vec3<double> >* const negativePts, const size_t sampling) const;
186 SArray<Vec3<double> >* const exteriorPts) const;
[all …]
/dports/math/jags/JAGS-4.3.0/src/include/model/
H A DNodeArray.h12 class SArray; variable
82 void setValue(SArray const &value, unsigned int chain);
94 void getValue(SArray &value, unsigned int chain,
101 void setData(SArray const &value, Model *model);
H A DSymTab.h61 void writeData(std::map<std::string, SArray> const &data_table);
74 void writeValues(std::map<std::string, SArray> const &data_table,
90 void readValues(std::map<std::string, SArray> &data_table,
/dports/math/jags/JAGS-4.3.0/src/include/
H A DConsole.h74 bool compile(std::map<std::string, SArray> &data_table, unsigned int nchain,
90 bool setParameters(std::map<std::string, SArray> const &param_table,
165 bool dumpState(std::map<std::string,SArray> &data_table,
191 bool dumpMonitors(std::map<std::string,SArray> &data_table,
/dports/math/jags/JAGS-4.3.0/src/terminal/
H A DReadData.cc16 using jags::SArray;
24 map<string, SArray> &table, in readRData()
146 SArray sarray(dim); in readRData()
152 table.insert(map<string, SArray>::value_type(name, sarray)); in readRData()

123456