Expression (com.sri.ai.expresso.api.Expression)5 SingleVariableLinearRealArithmeticConstraint (com.sri.ai.grinder.sgdpllt.theory.linearrealarithmetic.SingleVariableLinearRealArithmeticConstraint)5 RealExpressoType (com.sri.ai.expresso.type.RealExpressoType)4 RealInterval (com.sri.ai.expresso.type.RealInterval)4 IntensionalSet (com.sri.ai.expresso.api.IntensionalSet)3 Type (com.sri.ai.expresso.api.Type)3 Context (com.sri.ai.grinder.sgdpllt.api.Context)3 IndexExpressionsSet (com.sri.ai.expresso.api.IndexExpressionsSet)2 ExtensionalIndexExpressionsSet (com.sri.ai.expresso.core.ExtensionalIndexExpressionsSet)2 TrueContext (com.sri.ai.grinder.sgdpllt.core.TrueContext)2 Rational (com.sri.ai.util.math.Rational)2 DefaultCountingFormula (com.sri.ai.expresso.core.DefaultCountingFormula)1 FunctionType (com.sri.ai.expresso.type.FunctionType)1 IntegerExpressoType (com.sri.ai.expresso.type.IntegerExpressoType)1 IntegerInterval (com.sri.ai.expresso.type.IntegerInterval)1 TupleType (com.sri.ai.expresso.type.TupleType)1 Constraint (com.sri.ai.grinder.sgdpllt.api.Constraint)1 ExpressionStepSolver (com.sri.ai.grinder.sgdpllt.api.ExpressionStepSolver)1 SingleVariableConstraint (com.sri.ai.grinder.sgdpllt.api.SingleVariableConstraint)1 SampleCommonInterpreter (com.sri.ai.grinder.sgdpllt.interpreter.SampleCommonInterpreter)1