https://github.com/ibex-team/ibex-lib
Tip revision: c0e40caa712bc8081e0d2fd282f805b96922c6ba authored by Ignacio Araya on 22 August 2012, 18:16:19 UTC
I implemented an Affine Arithmetic based contractor (AA_Simplex) based on the work of J. Ninin, F. Messine and P. Hansen. AA_Simplex is a subclass of LR_contractor
I implemented an Affine Arithmetic based contractor (AA_Simplex) based on the work of J. Ninin, F. Messine and P. Hansen. AA_Simplex is a subclass of LR_contractor
Tip revision: c0e40ca
| File | Mode | Size |
|---|---|---|
| contrib | ||
| optim | ||
| parser | ||
| Ibex3BCID.cpp | -rw-r--r-- | 17.0 KB |
| Ibex3BCID.h | -rw-r--r-- | 8.5 KB |
| IbexAdjacency.cpp | -rw-r--r-- | 6.6 KB |
| IbexAdjacency.h | -rw-r--r-- | 8.9 KB |
| IbexAffine.cpp | -rw-r--r-- | 9.9 KB |
| IbexAffine.h | -rw-r--r-- | 2.9 KB |
| IbexAffineSimplex.cpp | -rw-r--r-- | 4.3 KB |
| IbexAffineSimplex.h | -rw-r--r-- | 3.3 KB |
| IbexBisection.cpp | -rw-r--r-- | 2.3 KB |
| IbexBisection.h | -rw-r--r-- | 2.2 KB |
| IbexBisector.cpp | -rw-r--r-- | 6.6 KB |
| IbexBisector.h | -rw-r--r-- | 14.9 KB |
| IbexBlockSet.cpp | -rw-r--r-- | 5.0 KB |
| IbexBlockSet.h | -rw-r--r-- | 7.0 KB |
| IbexBox.cpp | -rw-r--r-- | 1.4 KB |
| IbexBox.h | -rw-r--r-- | 3.0 KB |
| IbexBoxNarrow.cpp | -rw-r--r-- | 4.1 KB |
| IbexBoxNarrow.h | -rw-r--r-- | 4.7 KB |
| IbexCSP.cpp | -rw-r--r-- | 4.2 KB |
| IbexCSP.h | -rw-r--r-- | 3.0 KB |
| IbexCell.cpp | -rw-r--r-- | 1.7 KB |
| IbexCell.h | -rw-r--r-- | 9.1 KB |
| IbexCellBuffer.h | -rw-r--r-- | 2.1 KB |
| IbexCellHeap.cpp | -rw-r--r-- | 3.4 KB |
| IbexCellHeap.h | -rw-r--r-- | 2.6 KB |
| IbexCellStack.cpp | -rw-r--r-- | 1.5 KB |
| IbexCellStack.h | -rw-r--r-- | 1.8 KB |
| IbexCertification.cpp | -rw-r--r-- | 3.9 KB |
| IbexCertification.h | -rw-r--r-- | 2.8 KB |
| IbexConstraint.cpp | -rw-r--r-- | 17.1 KB |
| IbexConstraint.h | -rw-r--r-- | 12.5 KB |
| IbexContractor.cpp | -rw-r--r-- | 2.9 KB |
| IbexContractor.h | -rw-r--r-- | 9.3 KB |
| IbexContractorList.cpp | -rw-r--r-- | 2.0 KB |
| IbexContractorList.h | -rw-r--r-- | 2.7 KB |
| IbexDomain.cpp | -rw-r--r-- | 2.4 KB |
| IbexDomain.h | -rw-r--r-- | 8.3 KB |
| IbexEnv.cpp | -rw-r--r-- | 8.4 KB |
| IbexEnv.h | -rw-r--r-- | 8.1 KB |
| IbexEvaluator.cpp | -rw-r--r-- | 32.8 KB |
| IbexEvaluator.h | -rw-r--r-- | 3.9 KB |
| IbexEvaluatorAffine.cpp | -rw-r--r-- | 3.4 KB |
| IbexEvaluatorAffine.h | -rw-r--r-- | 1.1 KB |
| IbexEvaluatorFactory.cpp | -rw-r--r-- | 12.3 KB |
| IbexEvaluatorFactory.h | -rw-r--r-- | 2.5 KB |
| IbexException.h | -rw-r--r-- | 7.3 KB |
| IbexExpr.cpp | -rw-r--r-- | 9.7 KB |
| IbexExpr.h | -rw-r--r-- | 20.6 KB |
| IbexExprAdjFactory.cpp | -rw-r--r-- | 2.7 KB |
| IbexExprAdjFactory.h | -rw-r--r-- | 2.1 KB |
| IbexExprPrinter.cpp | -rw-r--r-- | 2.3 KB |
| IbexExprPrinter.h | -rw-r--r-- | 1.8 KB |
| IbexFunction.cpp | -rw-r--r-- | 8.9 KB |
| IbexFunction.h | -rw-r--r-- | 7.7 KB |
| IbexHC4.cpp | -rw-r--r-- | 1.3 KB |
| IbexHC4.h | -rw-r--r-- | 1.8 KB |
| IbexHC4Revise.cpp | -rw-r--r-- | 1.5 KB |
| IbexHC4Revise.h | -rw-r--r-- | 3.4 KB |
| IbexHCOctum.cpp | -rw-r--r-- | 1.4 KB |
| IbexHCOctum.h | -rw-r--r-- | 1.9 KB |
| IbexIO.cpp | -rw-r--r-- | 8.1 KB |
| IbexIO.h | -rw-r--r-- | 4.2 KB |
| IbexIdTable.h | -rw-r--r-- | 4.6 KB |
| IbexIdentity.h | -rw-r--r-- | 1.7 KB |
| IbexInnerProjections.cpp | -rw-r--r-- | 17.9 KB |
| IbexInnerProjections.h | -rw-r--r-- | 4.9 KB |
| IbexLR_contractor.cpp | -rw-r--r-- | 13.3 KB |
| IbexLR_contractor.h | -rw-r--r-- | 2.9 KB |
| IbexLinear.cpp | -rw-r--r-- | 8.3 KB |
| IbexLinear.h | -rw-r--r-- | 7.1 KB |
| IbexMultiSystem.cpp | -rw-r--r-- | 2.8 KB |
| IbexMultiSystem.h | -rw-r--r-- | 2.6 KB |
| IbexNVector.cpp | -rw-r--r-- | 7.9 KB |
| IbexNVector.h | -rw-r--r-- | 4.4 KB |
| IbexNewton.cpp | -rw-r--r-- | 3.2 KB |
| IbexNewton.h | -rw-r--r-- | 4.1 KB |
| IbexOctum.cpp | -rw-r--r-- | 5.0 KB |
| IbexOctum.h | -rw-r--r-- | 4.8 KB |
| IbexOperator.cpp | -rw-r--r-- | 1.7 KB |
| IbexOperator.h | -rw-r--r-- | 2.5 KB |
| IbexOperatorPrinter.cpp | -rw-r--r-- | 4.8 KB |
| IbexOperatorPrinter.h | -rw-r--r-- | 2.8 KB |
| IbexPaver.cpp | -rw-r--r-- | 10.1 KB |
| IbexPaver.h | -rw-r--r-- | 11.3 KB |
| IbexPaving.cpp | -rw-r--r-- | 1.7 KB |
| IbexPaving.h | -rw-r--r-- | 4.4 KB |
| IbexProjections.cpp | -rw-r--r-- | 7.1 KB |
| IbexProjections.h | -rw-r--r-- | 2.6 KB |
| IbexPropagation.cpp | -rw-r--r-- | 4.3 KB |
| IbexPropagation.h | -rw-r--r-- | 4.8 KB |
| IbexQInter.cpp | -rw-r--r-- | 5.5 KB |
| IbexQInter.h | -rw-r--r-- | 3.0 KB |
| IbexQueue.cpp | -rw-r--r-- | 1.4 KB |
| IbexQueue.h | -rw-r--r-- | 4.0 KB |
| IbexQuimper.cpp | -rw-r--r-- | 3.9 KB |
| IbexQuimper.h | -rw-r--r-- | 2.2 KB |
| IbexSequence.cpp | -rw-r--r-- | 4.9 KB |
| IbexSequence.h | -rw-r--r-- | 5.2 KB |
| IbexSharedObject.cpp | -rw-r--r-- | 1.8 KB |
| IbexSharedObject.h | -rw-r--r-- | 2.4 KB |
| IbexShaving.cpp | -rw-r--r-- | 10.4 KB |
| IbexShaving.h | -rw-r--r-- | 5.4 KB |
| IbexSpace.cpp | -rw-r--r-- | 10.4 KB |
| IbexSpace.h | -rw-r--r-- | 19.5 KB |
| IbexSystem.cpp | -rw-r--r-- | 3.2 KB |
| IbexSystem.h | -rw-r--r-- | 5.2 KB |
| IbexSystemFactory.cpp | -rw-r--r-- | 2.0 KB |
| IbexSystemFactory.h | -rw-r--r-- | 3.5 KB |
| IbexTimer.cpp | -rw-r--r-- | 1.9 KB |
| IbexTimer.h | -rw-r--r-- | 977 bytes |
| IbexToken.cpp | -rw-r--r-- | 5.5 KB |
| IbexToken.h | -rw-r--r-- | 2.4 KB |
| IbexUnivNewton.cpp | -rw-r--r-- | 9.0 KB |
| IbexUnivNewton.h | -rw-r--r-- | 6.6 KB |
| IbexVisitor.h | -rw-r--r-- | 2.4 KB |
| IbexX_Newton.cpp | -rw-r--r-- | 12.5 KB |
| IbexX_Newton.h | -rw-r--r-- | 4.1 KB |
| makefile | -rw-r--r-- | 2.8 KB |
