LinearRealArithmeticTheory (com.sri.ai.grinder.sgdpllt.theory.linearrealarithmetic.LinearRealArithmeticTheory)15 Context (com.sri.ai.grinder.sgdpllt.api.Context)13 Test (org.junit.Test)12 Expression (com.sri.ai.expresso.api.Expression)9 TheoryTestingSupport (com.sri.ai.grinder.sgdpllt.tester.TheoryTestingSupport)9 CompoundTheory (com.sri.ai.grinder.sgdpllt.theory.compound.CompoundTheory)8 DifferenceArithmeticTheory (com.sri.ai.grinder.sgdpllt.theory.differencearithmetic.DifferenceArithmeticTheory)8 EqualityTheory (com.sri.ai.grinder.sgdpllt.theory.equality.EqualityTheory)8 PropositionalTheory (com.sri.ai.grinder.sgdpllt.theory.propositional.PropositionalTheory)8 TrueContext (com.sri.ai.grinder.sgdpllt.core.TrueContext)6 Theory (com.sri.ai.grinder.sgdpllt.api.Theory)5 TupleTheory (com.sri.ai.grinder.sgdpllt.theory.tuple.TupleTheory)5 FunctionType (com.sri.ai.expresso.type.FunctionType)4 StepSolver (com.sri.ai.grinder.sgdpllt.api.StepSolver)4 UnificationStepSolver (com.sri.ai.grinder.sgdpllt.theory.base.UnificationStepSolver)4 Beta (com.google.common.annotations.Beta)2 Expressions.parse (com.sri.ai.expresso.helper.Expressions.parse)2 Random (java.util.Random)2 Ignore (org.junit.Ignore)2 Function (com.google.common.base.Function)1