Beta (com.google.common.annotations.Beta)1 Function (com.google.common.base.Function)1 Predicate (com.google.common.base.Predicate)1 CountingFormula (com.sri.ai.expresso.api.CountingFormula)1 Expression (com.sri.ai.expresso.api.Expression)1 FunctionApplication (com.sri.ai.expresso.api.FunctionApplication)1 IndexExpressionsSet (com.sri.ai.expresso.api.IndexExpressionsSet)1 IntensionalSet (com.sri.ai.expresso.api.IntensionalSet)1 LambdaExpression (com.sri.ai.expresso.api.LambdaExpression)1 QuantifiedExpressionWithABody (com.sri.ai.expresso.api.QuantifiedExpressionWithABody)1 Symbol (com.sri.ai.expresso.api.Symbol)1 Tuple (com.sri.ai.expresso.api.Tuple)1 EMPTY_TUPLE (com.sri.ai.expresso.api.Tuple.EMPTY_TUPLE)1 Type (com.sri.ai.expresso.api.Type)1 AbstractExtensionalSet (com.sri.ai.expresso.core.AbstractExtensionalSet)1 DefaultIntensionalMultiSet (com.sri.ai.expresso.core.DefaultIntensionalMultiSet)1 DefaultUniversallyQuantifiedFormula (com.sri.ai.expresso.core.DefaultUniversallyQuantifiedFormula)1 ExtensionalIndexExpressionsSet (com.sri.ai.expresso.core.ExtensionalIndexExpressionsSet)1 AbstractExpressionWrapper (com.sri.ai.expresso.helper.AbstractExpressionWrapper)1 Expressions (com.sri.ai.expresso.helper.Expressions)1