Home
last modified time | relevance | path

Searched defs:addEquality (Results 1 – 4 of 4) sorted by relevance

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DSimplexTest.cpp26 void addEquality(SimplexBase &simplex, ArrayRef<int64_t> coeffs) { in addEquality() function
/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h318 void addEquality(ArrayRef<int64_t> eq) { in addEquality() function
/llvm-project/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp1120 void SimplexBase::addEquality(ArrayRef<DynamicAPInt> coeffs) { addEquality() function in SimplexBase
H A DIntegerRelation.cpp365 void IntegerRelation::addEquality(ArrayRef<DynamicAPInt> eq) { addEquality() function in IntegerRelation