Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AssertionFinder.cs | 5010 | logplain |
-rw-r--r-- | BasicFacts.cs | 4230 | logplain |
-rw-r--r-- | BoxedExpression.cs | 43274 | logplain |
-rw-r--r-- | BoxedExpressionExtensions.cs | 9118 | logplain |
-rw-r--r-- | ComposedFactQuery.cs | 5857 | logplain |
-rw-r--r-- | ConstantPropagationFactQuery.cs | 6548 | logplain |
-rw-r--r-- | IFactBase.cs | 1552 | logplain |
-rw-r--r-- | IFactQuery.cs | 2015 | logplain |
-rw-r--r-- | SimpleLogicInference.cs | 4040 | logplain |