gitextract_gi623cc4/

├── .gitattributes
├── .gitignore
├── CONTRIBUTING.md
├── LICENSE
├── README.md
├── aima-csharp/
│   ├── App.config
│   ├── Program.cs
│   ├── Properties/
│   │   └── AssemblyInfo.cs
│   ├── agent/
│   │   ├── Action.cs
│   │   ├── Agent.cs
│   │   ├── AgentProgram.cs
│   │   ├── Environment.cs
│   │   ├── EnvironmentObject.cs
│   │   ├── EnvironmentState.cs
│   │   ├── EnvironmentView.cs
│   │   ├── EnvironmentViewNotifier.cs
│   │   ├── Model.cs
│   │   ├── Percept.cs
│   │   ├── State.cs
│   │   └── impl/
│   │       ├── AbstractAgent.cs
│   │       ├── AbstractEnvironment.cs
│   │       ├── DynamicAction.cs
│   │       ├── DynamicEnvironmentState.cs
│   │       ├── DynamicPercept.cs
│   │       ├── DynamicState.cs
│   │       ├── NoOpAction.cs
│   │       ├── ObjectWithDynamicAttributes.cs
│   │       ├── SimpleEnvironmentView.cs
│   │       └── aprog/
│   │           ├── ModelBasedReflexAgentProgram.cs
│   │           ├── SimpleReflexAgentProgram.cs
│   │           ├── TableDrivenAgentProgram.cs
│   │           └── simplerule/
│   │               ├── ANDCondition.cs
│   │               ├── Condition.cs
│   │               ├── EQUALCondition.cs
│   │               ├── NOTCondition.cs
│   │               ├── ORCondition.cs
│   │               └── Rule.cs
│   ├── aima-csharp.csproj
│   ├── environment/
│   │   ├── cellworld/
│   │   │   ├── Cell.cs
│   │   │   ├── CellWorld.cs
│   │   │   ├── CellWorldAction.cs
│   │   │   └── CellWorldFactory.cs
│   │   ├── eightpuzzle/
│   │   │   ├── BidirectionalEightPuzzleProblem.cs
│   │   │   ├── EightPuzzleBoard.cs
│   │   │   ├── EightPuzzleFunctionFactory.cs
│   │   │   ├── EightPuzzleGoalTest.cs
│   │   │   ├── ManhattanHeuristicFunction.cs
│   │   │   └── MisplacedTilleHeuristicFunction.cs
│   │   ├── map/
│   │   │   ├── AdaptableHeuristicFunction.cs
│   │   │   ├── BidirectionalMapProblem.cs
│   │   │   ├── DynAttributeNames.cs
│   │   │   ├── ExtendableMap.cs
│   │   │   ├── Map.cs
│   │   │   ├── MapAgent.cs
│   │   │   ├── MapEnvironment.cs
│   │   │   ├── MapEnvironmentState.cs
│   │   │   ├── MapFunctionFactory.cs
│   │   │   ├── MapStepCostFunction.cs
│   │   │   ├── MoveToAction.cs
│   │   │   ├── Scenario.cs
│   │   │   ├── SimplifiedRoadMapOfAustralia.cs
│   │   │   ├── SimplifiedRoadMapOfPartOfRomania.cs
│   │   │   └── StraightLineDistanceHeuristicFunction.cs
│   │   └── wumpusworld/
│   │       ├── AgentPercept.cs
│   │       ├── AgentPosition.cs
│   │       ├── ManhattanHeuristicFunction.cs
│   │       └── Room.cs
│   ├── logic/
│   │   ├── common/
│   │   │   ├── Lexer.cs
│   │   │   ├── LexerException.cs
│   │   │   ├── LogicTokenTypes.cs
│   │   │   ├── Parser.cs
│   │   │   ├── ParserException.cs
│   │   │   ├── ParserTreeNode.cs
│   │   │   └── Token.cs
│   │   ├── fol/
│   │   │   ├── CNFConverter.cs
│   │   │   ├── Connectors.cs
│   │   │   ├── PredicateCollector.cs
│   │   │   ├── Quantifiers.cs
│   │   │   ├── StandardizeApart.cs
│   │   │   ├── StandardizeApartInPlace.cs
│   │   │   ├── StandardizeApartIndexical.cs
│   │   │   ├── StandardizeApartIndexicalFactory.cs
│   │   │   ├── StandardizeApartResult.cs
│   │   │   ├── SubstVisitor.cs
│   │   │   ├── SubsumptionElimination.cs
│   │   │   ├── Unifier.cs
│   │   │   ├── VariableCollector.cs
│   │   │   ├── domain/
│   │   │   │   ├── DomainFactory.cs
│   │   │   │   ├── FOLDomain.cs
│   │   │   │   ├── FOLDomainAnswerLiteralAddedEvent.cs
│   │   │   │   ├── FOLDomainEvent.cs
│   │   │   │   ├── FOLDomainListener.cs
│   │   │   │   ├── FOLDomainSkolemConstantAddedEvent.cs
│   │   │   │   └── FOLDomainSkolemFunctionAddedEvent.cs
│   │   │   ├── inference/
│   │   │   │   ├── AbstractModulation.cs
│   │   │   │   ├── Demodulation.cs
│   │   │   │   ├── FOLBCAsk.cs
│   │   │   │   ├── FOLFCAsk.cs
│   │   │   │   ├── FOLModelElimination.cs
│   │   │   │   ├── FOLOTTERLikeTheoremProver.cs
│   │   │   │   ├── FOLTFMResolution.cs
│   │   │   │   ├── InferenceProcedure.cs
│   │   │   │   ├── InferenceResult.cs
│   │   │   │   ├── InferenceResultPrinter.cs
│   │   │   │   ├── Paramodulation.cs
│   │   │   │   ├── otter/
│   │   │   │   │   ├── ClauseFilter.cs
│   │   │   │   │   ├── ClauseSimplifier.cs
│   │   │   │   │   ├── LightestClauseHeuristic.cs
│   │   │   │   │   └── defaultimpl/
│   │   │   │   │       ├── DefaultClauseFilter.cs
│   │   │   │   │       ├── DefaultClauseSimplifier.cs
│   │   │   │   │       └── DefaultLightestClauseHeuristic.cs
│   │   │   │   ├── proof/
│   │   │   │   │   ├── AbstractProofStep.cs
│   │   │   │   │   ├── Proof.cs
│   │   │   │   │   ├── ProofFinal.cs
│   │   │   │   │   ├── ProofPrinter.cs
│   │   │   │   │   ├── ProofStep.cs
│   │   │   │   │   ├── ProofStepBwChGoal.cs
│   │   │   │   │   ├── ProofStepChainCancellation.cs
│   │   │   │   │   ├── ProofStepChainContrapositive.cs
│   │   │   │   │   ├── ProofStepChainDropped.cs
│   │   │   │   │   ├── ProofStepChainFromClause.cs
│   │   │   │   │   ├── ProofStepChainReduction.cs
│   │   │   │   │   ├── ProofStepClauseBinaryResolvent.cs
│   │   │   │   │   ├── ProofStepClauseClausifySentence.cs
│   │   │   │   │   ├── ProofStepClauseDemodulation.cs
│   │   │   │   │   ├── ProofStepClauseFactor.cs
│   │   │   │   │   ├── ProofStepClauseParamodulation.cs
│   │   │   │   │   ├── ProofStepFoChAlreadyAFact.cs
│   │   │   │   │   ├── ProofStepFoChAssertFact.cs
│   │   │   │   │   ├── ProofStepGoal.cs
│   │   │   │   │   ├── ProofStepPremise.cs
│   │   │   │   │   └── ProofStepRenaming.cs
│   │   │   │   └── trace/
│   │   │   │       ├── FOLModelEliminationTracer.cs
│   │   │   │       └── FOLTFMResolutiontracer.cs
│   │   │   ├── kb/
│   │   │   │   ├── FOLKnowledgeBase.cs
│   │   │   │   ├── FOLKnowledgeBaseFactory.cs
│   │   │   │   └── data/
│   │   │   │       ├── CNF.cs
│   │   │   │       ├── Chain.cs
│   │   │   │       ├── Clause.cs
│   │   │   │       ├── Literal.cs
│   │   │   │       └── ReducedLiteral.cs
│   │   │   └── parsing/
│   │   │       ├── AbstractFOLVisitor.cs
│   │   │       ├── FOLLexer.cs
│   │   │       ├── FOLParser.cs
│   │   │       ├── FOLVisitor.cs
│   │   │       └── ast/
│   │   │           ├── AtomicSentence.cs
│   │   │           ├── ConnectedSentence.cs
│   │   │           ├── Constant.cs
│   │   │           ├── FOLNode.cs
│   │   │           ├── Function.cs
│   │   │           ├── NotSentence.cs
│   │   │           ├── Predicate.cs
│   │   │           ├── QuantifiedSentence.cs
│   │   │           ├── Sentence.cs
│   │   │           ├── Term.cs
│   │   │           ├── TermEquality.cs
│   │   │           └── Variable.cs
│   │   └── propositional/
│   │       ├── agent/
│   │       │   └── KBAgent.cs
│   │       ├── kb/
│   │       │   └── KnowledgeBase.cs
│   │       └── parsing/
│   │           ├── PLVisitor.cs
│   │           └── ast/
│   │               ├── AtomicSentence.cs
│   │               ├── ComplexSentence.cs
│   │               ├── Connective.cs
│   │               ├── PropositionSymbol.cs
│   │               └── Sentence.cs
│   ├── search/
│   │   ├── Local/
│   │   │   ├── FitnessFunction.cs
│   │   │   ├── Individual.cs
│   │   │   └── Scheduler.cs
│   │   ├── framework/
│   │   │   ├── CutOffIndicatorAction.cs
│   │   │   ├── EvaluationFunction.cs
│   │   │   ├── HeuristicFunction.cs
│   │   │   ├── Metrics.cs
│   │   │   ├── Node.cs
│   │   │   ├── NodeExpander.cs
│   │   │   ├── PathCostFunction.cs
│   │   │   ├── PerceptToStateFunction.cs
│   │   │   ├── Search.cs
│   │   │   ├── SearchAgent.cs
│   │   │   ├── SearchForActions.cs
│   │   │   ├── SearchUtils.cs
│   │   │   ├── SimpleProblemSolvingAgent.cs
│   │   │   ├── SolutionChecker.cs
│   │   │   ├── problem/
│   │   │   │   ├── ActionsFunction.cs
│   │   │   │   ├── BidirectionalProblem.cs
│   │   │   │   ├── DefaultGoalTest.cs
│   │   │   │   ├── DefaultStepCostFunction.cs
│   │   │   │   ├── GoalTest.cs
│   │   │   │   ├── Problem.cs
│   │   │   │   ├── ResultFunction.cs
│   │   │   │   └── StepCostFunction.cs
│   │   │   └── qsearch/
│   │   │       ├── GraphSearch.cs
│   │   │       ├── GraphSearchBFS.cs
│   │   │       ├── QueueSearch.cs
│   │   │       └── TreeSearch.cs
│   │   └── online/
│   │       ├── LRTAStarAgent.cs
│   │       ├── OnlineDFSAgent.cs
│   │       └── OnlineSearchProblem.cs
│   └── util/
│       ├── ArrayIterator.cs
│       ├── CSharpRandomizer.cs
│       ├── DisjointSets.cs
│       ├── FrequencyCounter.cs
│       ├── Interval.cs
│       ├── LUDecomposition.cs
│       ├── LabeledGraph.cs
│       ├── LinkedHashSet.cs
│       ├── Matrix.cs
│       ├── MixedRadixNumber.cs
│       ├── MockRandomizer.cs
│       ├── Pair.cs
│       ├── Point2D.cs
│       ├── Randomizer.cs
│       ├── SetOps.cs
│       ├── Table.cs
│       ├── Triplet.cs
│       ├── TwoKeyHashMap.cs
│       ├── Util.cs
│       ├── Vector.cs
│       └── XYLocation.cs
├── aima-csharp-unity/
│   ├── .gitignore
│   └── README.md
└── aima-csharp.sln