SYMBOL INDEX (1704 symbols across 210 files) FILE: aima-csharp/Program.cs class Program (line 9) | class Program method Main (line 11) | static void Main(string[] args) FILE: aima-csharp/agent/Action.cs type Action (line 11) | public interface Action method isNoOp (line 20) | bool isNoOp(); FILE: aima-csharp/agent/Agent.cs type Agent (line 14) | public interface Agent : EnvironmentObject method execute (line 25) | Action execute(Percept percept); method isAlive (line 32) | bool isAlive(); method setAlive (line 41) | void setAlive(bool alive); FILE: aima-csharp/agent/AgentProgram.cs type AgentProgram (line 15) | public interface AgentProgram method execute (line 25) | Action execute(Percept percept); FILE: aima-csharp/agent/Environment.cs type Environment (line 14) | public interface Environment method getAgents (line 21) | List getAgents(); method addAgent (line 29) | void addAgent(Agent agent); method removeAgent (line 37) | void removeAgent(Agent agent); method getEnvironmentObjects (line 44) | List getEnvironmentObjects(); method addEnvironmentObject (line 52) | void addEnvironmentObject(EnvironmentObject eo); method removeEnvironmentObject (line 60) | void removeEnvironmentObject(EnvironmentObject eo); method step (line 65) | void step(); method step (line 73) | void step(int n); method stepUntilDone (line 78) | void stepUntilDone(); method isDone (line 87) | bool isDone(); method getPerformanceMeasure (line 96) | double getPerformanceMeasure(Agent forAgent); method addEnvironmentView (line 104) | void addEnvironmentView(EnvironmentView ev); method removeEnvironmentView (line 112) | void removeEnvironmentView(EnvironmentView ev); method notifyViews (line 120) | void notifyViews(String msg); FILE: aima-csharp/agent/EnvironmentObject.cs type EnvironmentObject (line 13) | public interface EnvironmentObject FILE: aima-csharp/agent/EnvironmentState.cs type EnvironmentState (line 11) | public interface EnvironmentState FILE: aima-csharp/agent/EnvironmentView.cs type EnvironmentView (line 14) | public interface EnvironmentView method notify (line 23) | void notify(String msg); method agentAdded (line 35) | void agentAdded(Agent agent, EnvironmentState resultingState); method agentActed (line 48) | void agentActed(Agent agent, Action action, EnvironmentState resulting... FILE: aima-csharp/agent/EnvironmentViewNotifier.cs type EnvironmentViewNotifier (line 10) | public interface EnvironmentViewNotifier method notifyViews (line 19) | void notifyViews(String msg); FILE: aima-csharp/agent/Model.cs type Model (line 15) | public interface Model FILE: aima-csharp/agent/Percept.cs type Percept (line 13) | public interface Percept FILE: aima-csharp/agent/State.cs type State (line 16) | public interface State FILE: aima-csharp/agent/impl/AbstractAgent.cs class AbstractAgent (line 11) | public abstract class AbstractAgent : Agent method AbstractAgent (line 16) | public AbstractAgent() method AbstractAgent (line 28) | public AbstractAgent(AgentProgram aProgram) method execute (line 34) | public virtual Action execute(Percept p) method isAlive (line 43) | public bool isAlive() method setAlive (line 48) | public void setAlive(bool alive) FILE: aima-csharp/agent/impl/AbstractEnvironment.cs class AbstractEnvironment (line 12) | public abstract class AbstractEnvironment : Environment, EnvironmentView... method getCurrentState (line 28) | public abstract EnvironmentState getCurrentState(); method executeAction (line 30) | public abstract EnvironmentState executeAction(Agent agent, Action act... method getPerceptSeenBy (line 32) | public abstract Percept getPerceptSeenBy(Agent anAgent); method createExogenousChange (line 38) | public void createExogenousChange() { } method getAgents (line 41) | public List getAgents() method addAgent (line 47) | public void addAgent(Agent a) method removeAgent (line 52) | public void removeAgent(Agent a) method getEnvironmentObjects (line 57) | public List getEnvironmentObjects() method addEnvironmentObject (line 63) | public void addEnvironmentObject(EnvironmentObject eo) method removeEnvironmentObject (line 77) | public void removeEnvironmentObject(EnvironmentObject eo) method step (line 89) | public void step() method step (line 103) | public void step(int n) method stepUntilDone (line 111) | public void stepUntilDone() method isDone (line 119) | public bool isDone() method getPerformanceMeasure (line 131) | public double getPerformanceMeasure(Agent forAgent) method addEnvironmentView (line 143) | public void addEnvironmentView(EnvironmentView ev) method removeEnvironmentView (line 148) | public void removeEnvironmentView(EnvironmentView ev) method notifyViews (line 153) | public void notifyViews(String msg) method updatePerformanceMeasure (line 165) | protected void updatePerformanceMeasure(Agent forAgent, double addTo) method updateEnvironmentViewsAgentAdded (line 171) | protected void updateEnvironmentViewsAgentAdded(Agent agent) method updateEnvironmentViewsAgentActed (line 179) | protected void updateEnvironmentViewsAgentActed(Agent agent, Action ac... FILE: aima-csharp/agent/impl/DynamicAction.cs class DynamicAction (line 10) | public class DynamicAction : ObjectWithDynamicAttributes, method DynamicAction (line 15) | public DynamicAction(String name) method getName (line 25) | public String getName() method isNoOp (line 31) | public bool isNoOp() method describeType (line 37) | public String describeType() FILE: aima-csharp/agent/impl/DynamicEnvironmentState.cs class DynamicEnvironmentState (line 11) | public class DynamicEnvironmentState : ObjectWithDynamicAttributes, Envi... method DynamicEnvironmentState (line 13) | public DynamicEnvironmentState() method describeType (line 18) | public String describeType() FILE: aima-csharp/agent/impl/DynamicPercept.cs class DynamicPercept (line 12) | public class DynamicPercept : ObjectWithDynamicAttributes, Percept method DynamicPercept (line 14) | public DynamicPercept() method describeType (line 19) | public String describeType() method DynamicPercept (line 32) | public DynamicPercept(Object key1, Object value1) method DynamicPercept (line 50) | public DynamicPercept(Object key1, Object value1, Object key2, Object ... method DynamicPercept (line 64) | public DynamicPercept(Object[] keys, Object[] values) FILE: aima-csharp/agent/impl/DynamicState.cs class DynamicState (line 10) | public class DynamicState : ObjectWithDynamicAttributes, State method DynamicState (line 12) | public DynamicState() method describeType (line 18) | public String describeType() FILE: aima-csharp/agent/impl/NoOpAction.cs class NoOpAction (line 6) | public class NoOpAction : DynamicAction method isNoOp (line 11) | public bool isNoOp() method NoOpAction (line 17) | private NoOpAction() : base("NoOp") FILE: aima-csharp/agent/impl/ObjectWithDynamicAttributes.cs class ObjectWithDynamicAttributes (line 12) | public abstract class ObjectWithDynamicAttributes method describeType (line 24) | public String describeType() method describeAttributes (line 34) | public String describeAttributes() method getKeySet (line 65) | public HashSet getKeySet() method setAttribute (line 80) | public void setAttribute(Object key, Object value) method getAttribute (line 94) | public Object getAttribute(Object key) method removeAttribute (line 106) | public void removeAttribute(Object key) method copy (line 115) | public ObjectWithDynamicAttributes copy() method Equals (line 135) | public override bool Equals(Object o) method GetHashCode (line 144) | public override int GetHashCode() method ToString (line 149) | public override String ToString() FILE: aima-csharp/agent/impl/SimpleEnvironmentView.cs class SimpleEnvironmentView (line 13) | public class SimpleEnvironmentView : EnvironmentView method agentActed (line 15) | public void agentActed(Agent agent, Action action, EnvironmentState re... method agentAdded (line 20) | public void agentAdded(Agent agent, EnvironmentState resultingState) method notify (line 25) | public void notify(string msg) FILE: aima-csharp/agent/impl/aprog/ModelBasedReflexAgentProgram.cs class ModelBasedReflexAgentProgram (line 34) | public abstract class ModelBasedReflexAgentProgram : AgentProgram method ModelBasedReflexAgentProgram (line 49) | public ModelBasedReflexAgentProgram() method setState (line 60) | public void setState(DynamicState dstate) method setModel (line 73) | public void setModel(Model mod) method setRules (line 84) | public void setRules(HashSet ruleSet) method execute (line 92) | public Action execute(Percept percept) method init (line 112) | protected abstract void init(); method updateState (line 114) | protected abstract DynamicState updateState(DynamicState state, Action... method ruleMatch (line 116) | protected Rule ruleMatch(DynamicState state, HashSet rules) method ruleAction (line 128) | protected Action ruleAction(Rule r) FILE: aima-csharp/agent/impl/aprog/SimpleReflexAgentProgram.cs class SimpleReflexAgentProgram (line 30) | public class SimpleReflexAgentProgram : AgentProgram method SimpleReflexAgentProgram (line 42) | public SimpleReflexAgentProgram(HashSet ruleSet) method execute (line 50) | public Action execute(Percept percept) method interpretInput (line 65) | protected ObjectWithDynamicAttributes interpretInput(Percept p) method ruleMatch (line 70) | protected Rule ruleMatch(ObjectWithDynamicAttributes state, method ruleAction (line 83) | protected Action ruleAction(Rule r) FILE: aima-csharp/agent/impl/aprog/TableDrivenAgentProgram.cs class TableDrivenAgentProgram (line 30) | public class TableDrivenAgentProgram : AgentProgram method TableDrivenAgentProgram (line 48) | public TableDrivenAgentProgram(Dictionary, Action> perce... method execute (line 66) | public Action execute(Percept percept) method lookupCurrentAction (line 79) | private Action lookupCurrentAction() FILE: aima-csharp/agent/impl/aprog/simplerule/ANDCondition.cs class ANDCondition (line 15) | public class ANDCondition : Condition method ANDCondition (line 21) | public ANDCondition(Condition leftCon, Condition rightCon) method evaluate (line 30) | public override bool evaluate(ObjectWithDynamicAttributes p) method ToString (line 35) | public override String ToString() FILE: aima-csharp/agent/impl/aprog/simplerule/Condition.cs class Condition (line 13) | public abstract class Condition method evaluate (line 15) | public abstract bool evaluate(ObjectWithDynamicAttributes p); method Equals (line 17) | public bool Equals(Object o) method GetHashCode (line 26) | public override int GetHashCode() FILE: aima-csharp/agent/impl/aprog/simplerule/EQUALCondition.cs class EQUALCondition (line 15) | public class EQUALCondition : Condition method EQUALCondition (line 21) | public EQUALCondition(Object k, Object val) method evaluate (line 30) | public override bool evaluate(ObjectWithDynamicAttributes p) method ToString (line 35) | public override String ToString() FILE: aima-csharp/agent/impl/aprog/simplerule/NOTCondition.cs class NOTCondition (line 15) | public class NOTCondition : Condition method NOTCondition (line 19) | public NOTCondition(Condition c) method evaluate (line 26) | public override bool evaluate(ObjectWithDynamicAttributes p) method ToString (line 31) | public override String ToString() FILE: aima-csharp/agent/impl/aprog/simplerule/ORCondition.cs class ORCondition (line 15) | public class ORCondition : Condition method ORCondition (line 21) | public ORCondition(Condition leftCon, Condition rightCon) method evaluate (line 30) | public override bool evaluate(ObjectWithDynamicAttributes p) method ToString (line 35) | public override String ToString() FILE: aima-csharp/agent/impl/aprog/simplerule/Rule.cs class Rule (line 15) | public class Rule method Rule (line 30) | public Rule(Condition c, Action act) method evaluate (line 39) | public bool evaluate(ObjectWithDynamicAttributes p) method getAction (line 49) | public Action getAction() method Equals (line 54) | public override bool Equals(System.Object o) method GetHashCode (line 63) | public override int GetHashCode() method ToString (line 68) | public override System.String ToString() FILE: aima-csharp/environment/cellworld/Cell.cs class Cell (line 16) | public class Cell method Cell (line 32) | public Cell(int x, int y, C content) method getX (line 43) | public int getX() method getY (line 52) | public int getY() method getContent (line 61) | public C getContent() method setContent (line 72) | public void setContent(C content) method toString (line 77) | public String toString() method equals (line 82) | public bool equals(Object o) method hashCode (line 91) | public int hashCode() FILE: aima-csharp/environment/cellworld/CellWorld.cs class CellWorld (line 25) | public class CellWorld method CellWorld (line 41) | public CellWorld(int xDimension, int yDimension, C defaultCellContent) method getCells (line 60) | public LinkedHashSet> getCells() method result (line 79) | public Cell result(Cell s, CellWorldAction a) method removeCell (line 101) | public void removeCell(int x, int y) method getCellAt (line 121) | public Cell getCellAt(int x, int y) FILE: aima-csharp/environment/cellworld/CellWorldAction.cs class CellWorldAction (line 20) | public class CellWorldAction : Action method CellWorldAction (line 22) | public CellWorldAction() method CellWorldAction (line 27) | public CellWorldAction(ActionEnum action) type ActionEnum (line 33) | public enum ActionEnum method CellWorldAction (line 43) | static CellWorldAction() method actions (line 56) | public static LinkedHashSet actions() method isNoOp (line 63) | public bool isNoOp() method getXResult (line 80) | public int getXResult(int curX) method getYResult (line 102) | public int getYResult(int curY) method getFirstRightAngledAction (line 122) | public ActionEnum getFirstRightAngledAction() method getSecondRightAngledAction (line 147) | public ActionEnum getSecondRightAngledAction() FILE: aima-csharp/environment/cellworld/CellWorldFactory.cs class CellWorldFactory (line 11) | public class CellWorldFactory method createCellWorldForFig17_1 (line 20) | public static CellWorld createCellWorldForFig17_1() FILE: aima-csharp/environment/eightpuzzle/BidirectionalEightPuzzleProblem.cs class BidirectionalEightPuzzleProblem (line 10) | public class BidirectionalEightPuzzleProblem : Problem, BidirectionalPro... method BidirectionalEightPuzzleProblem (line 14) | public BidirectionalEightPuzzleProblem(EightPuzzleBoard initialState):... method getOriginalProblem (line 23) | public Problem getOriginalProblem() method getReverseProblem (line 28) | public Problem getReverseProblem() FILE: aima-csharp/environment/eightpuzzle/EightPuzzleBoard.cs class EightPuzzleBoard (line 13) | public class EightPuzzleBoard method EightPuzzleBoard (line 27) | public EightPuzzleBoard() method EightPuzzleBoard (line 32) | public EightPuzzleBoard(int[] state) method EightPuzzleBoard (line 38) | public EightPuzzleBoard(EightPuzzleBoard copyBoard): this(copyBoard.ge... method getState (line 43) | public int[] getState() method getValueAt (line 48) | public int getValueAt(XYLocation loc) method getLocationOf (line 53) | public XYLocation getLocationOf(int val) method moveGapRight (line 59) | public void moveGapRight() method moveGapLeft (line 72) | public void moveGapLeft() method moveGapDown (line 85) | public void moveGapDown() method moveGapUp (line 98) | public void moveGapUp() method getPositions (line 111) | public List getPositions() method setBoard (line 125) | public void setBoard(List locs) method canMoveGap (line 136) | public bool canMoveGap(agent.Action where) method equals (line 151) | public bool equals(Object o) method hashCode (line 174) | public int hashCode() method toString (line 185) | public String toString() method getXCoord (line 199) | private int getXCoord(int absPos) method getYCoord (line 208) | private int getYCoord(int absPos) method getAbsPosition (line 213) | private int getAbsPosition(int x, int y) method getValueAt (line 218) | private int getValueAt(int x, int y) method getGapPosition (line 224) | private int getGapPosition() method getPositionOf (line 229) | private int getPositionOf(int val) method setValue (line 242) | private void setValue(int x, int y, int val) FILE: aima-csharp/environment/eightpuzzle/EightPuzzleFunctionFactory.cs class EightPuzzleFunctionFactory (line 12) | public class EightPuzzleFunctionFactory method getActionsFunction (line 17) | public static ActionsFunction getActionsFunction() method getResultFunction (line 26) | public static ResultFunction getResultFunction() class EPActionsFunction (line 35) | private class EPActionsFunction : ActionsFunction method actions (line 37) | public HashSet actions(System.Object state) class EPResultFunction (line 64) | private class EPResultFunction : ResultFunction method result (line 66) | public System.Object result(System.Object s, Action a) FILE: aima-csharp/environment/eightpuzzle/EightPuzzleGoalTest.cs class EightPuzzleGoalTest (line 11) | public class EightPuzzleGoalTest : GoalTest method isGoalState (line 16) | public bool isGoalState(Object state) FILE: aima-csharp/environment/eightpuzzle/ManhattanHeuristicFunction.cs class ManhattanHeuristicFunction (line 12) | public class ManhattanHeuristicFunction : HeuristicFunction method h (line 14) | public double h(Object state) method evaluateManhattanDistanceOf (line 26) | public int evaluateManhattanDistanceOf(int i, XYLocation loc) FILE: aima-csharp/environment/eightpuzzle/MisplacedTilleHeuristicFunction.cs class MisplacedTilleHeuristicFunction (line 12) | public class MisplacedTilleHeuristicFunction : HeuristicFunction method h (line 14) | public double h(Object state) method getNumberOfMisplacedTiles (line 20) | private int getNumberOfMisplacedTiles(EightPuzzleBoard board) FILE: aima-csharp/environment/map/AdaptableHeuristicFunction.cs class AdaptableHeuristicFunction (line 14) | public abstract class AdaptableHeuristicFunction method adaptToGoal (line 25) | public AdaptableHeuristicFunction adaptToGoal(Object goal, Map map) FILE: aima-csharp/environment/map/BidirectionalMapProblem.cs class BidirectionalMapProblem (line 11) | public class BidirectionalMapProblem : Problem, BidirectionalProblem method BidirectionalMapProblem (line 17) | public BidirectionalMapProblem(Map map, String initialState, String go... method BidirectionalMapProblem (line 22) | public BidirectionalMapProblem(Map map, String initialState, String go... method getOriginalProblem (line 33) | public Problem getOriginalProblem() method getReverseProblem (line 38) | public Problem getReverseProblem() FILE: aima-csharp/environment/map/DynAttributeNames.cs class DynAttributeNames (line 17) | public class DynAttributeNames FILE: aima-csharp/environment/map/ExtendableMap.cs class ExtendableMap (line 17) | public class ExtendableMap : Map method ExtendableMap (line 29) | public ExtendableMap() method clear (line 36) | public void clear() method clearLinks (line 43) | public void clearLinks() method getLocations (line 49) | public List getLocations() method isLocation (line 55) | public bool isLocation(String str) method getPossibleNextLocations (line 64) | public List getPossibleNextLocations(String location) method getPossiblePrevLocations (line 77) | public List getPossiblePrevLocations(String location) method getDistance (line 86) | public Double getDistance(String fromLocation, String toLocation) method addUnidirectionalLink (line 92) | public void addUnidirectionalLink(String fromLocation, String toLocati... method addBidirectionalLink (line 101) | public void addBidirectionalLink(String fromLocation, String toLocatio... method randomlyGenerateDestination (line 110) | public String randomlyGenerateDestination() method removeUnidirectionalLink (line 116) | public void removeUnidirectionalLink(String fromLocation, String toLoc... method removeBidirectionalLink (line 122) | public void removeBidirectionalLink(String fromLocation, String toLoca... method setPosition (line 132) | public void setPosition(String loc, double x, double y) method setDistAndDirToRefLocation (line 151) | public void setDistAndDirToRefLocation(String loc, double dist, int dir) method getPosition (line 162) | public Point2D getPosition(String loc) FILE: aima-csharp/environment/map/Map.cs type Map (line 12) | public interface Map method getLocations (line 15) | List getLocations(); method getPossibleNextLocations (line 21) | List getPossibleNextLocations(String location); method getPossiblePrevLocations (line 27) | List getPossiblePrevLocations(String location); method getDistance (line 33) | Double getDistance(String fromLocation, String toLocation); method getPosition (line 39) | Point2D getPosition(String loc); method randomlyGenerateDestination (line 44) | String randomlyGenerateDestination(); FILE: aima-csharp/environment/map/MapAgent.cs class MapAgent (line 14) | public class MapAgent : SimpleProblemSolvingAgent method MapAgent (line 24) | public MapAgent(Map map, EnvironmentViewNotifier notifier, Search search) method MapAgent (line 31) | public MapAgent(Map map, EnvironmentViewNotifier notifier, Search search, method MapAgent (line 39) | public MapAgent(Map map, EnvironmentViewNotifier notifier, Search search, method updateState (line 51) | protected override State updateState(Percept p) method formulateGoal (line 60) | protected override Object formulateGoal() method formulateProblem (line 78) | protected override Problem formulateProblem(Object goal) method search (line 85) | protected override List search(Problem problem) method notifyViewOfMetrics (line 103) | protected override void notifyViewOfMetrics() FILE: aima-csharp/environment/map/MapEnvironment.cs class MapEnvironment (line 13) | public class MapEnvironment : AbstractEnvironment method MapEnvironment (line 18) | public MapEnvironment(Map map) method addAgent (line 23) | public void addAgent(Agent a, string startLocation) method getAgentLocation (line 32) | public string getAgentLocation(Agent a) method getAgentTravelDistance (line 37) | public double getAgentTravelDistance(Agent a) method getCurrentState (line 42) | public override EnvironmentState getCurrentState() method executeAction (line 47) | public override EnvironmentState executeAction(Agent agent, Action a) method getPerceptSeenBy (line 66) | public override Percept getPerceptSeenBy(Agent anAgent) method getMap (line 72) | public Map getMap() FILE: aima-csharp/environment/map/MapEnvironmentState.cs class MapEnvironmentState (line 11) | public class MapEnvironmentState : EnvironmentState method MapEnvironmentState (line 15) | public MapEnvironmentState() method getAgentLocation (line 20) | public string getAgentLocation(Agent a) method getAgentTravelDistance (line 30) | public double getAgentTravelDistance(Agent a) method setAgentLocationAndTravelDistance (line 40) | public void setAgentLocationAndTravelDistance(Agent a, string location, FILE: aima-csharp/environment/map/MapFunctionFactory.cs class MapFunctionFactory (line 14) | public class MapFunctionFactory method getActionsFunction (line 19) | public static ActionsFunction getActionsFunction(Map map) method getReverseActionsFunction (line 24) | public static ActionsFunction getReverseActionsFunction(Map map) method getResultFunction (line 29) | public static ResultFunction getResultFunction() class MapActionsFunction (line 38) | private class MapActionsFunction : ActionsFunction method MapActionsFunction (line 43) | public MapActionsFunction(Map map, bool reverseMode) method actions (line 49) | public HashSet actions(System.Object state) method getPerceptToStateFunction (line 64) | public static PerceptToStateFunction getPerceptToStateFunction() class MapResultFunction (line 73) | private class MapResultFunction : ResultFunction method MapResultFunction (line 75) | public MapResultFunction() method result (line 79) | public System.Object result(System.Object s, Action a) class MapPerceptToStateFunction (line 95) | private class MapPerceptToStateFunction : method getState (line 98) | public System.Object getState(Percept p) FILE: aima-csharp/environment/map/MapStepCostFunction.cs class MapStepCostFunction (line 15) | public class MapStepCostFunction : StepCostFunction method MapStepCostFunction (line 23) | public MapStepCostFunction(Map map) method c (line 30) | public double c(object fromCurrentState, Action action, object toNextS... FILE: aima-csharp/environment/map/MoveToAction.cs class MoveToAction (line 7) | public class MoveToAction : DynamicAction method MoveToAction (line 11) | public MoveToAction(String location) : base("moveTo") method getToLocation (line 16) | public String getToLocation() FILE: aima-csharp/environment/map/Scenario.cs class Scenario (line 12) | public class Scenario method Scenario (line 36) | public Scenario(MapEnvironment env, Map agentMap, String agentLoc) method getEnv (line 43) | public MapEnvironment getEnv() method getEnvMap (line 48) | public Map getEnvMap() method getAgentMap (line 53) | public Map getAgentMap() method getInitAgentLocation (line 58) | public String getInitAgentLocation() FILE: aima-csharp/environment/map/SimplifiedRoadMapOfAustralia.cs class SimplifiedRoadMapOfAustralia (line 14) | public class SimplifiedRoadMapOfAustralia : ExtendableMap method SimplifiedRoadMapOfAustralia (line 16) | public SimplifiedRoadMapOfAustralia() method initMap (line 67) | public static void initMap(ExtendableMap map) FILE: aima-csharp/environment/map/SimplifiedRoadMapOfPartOfRomania.cs class SimplifiedRoadMapOfPartOfRomania (line 17) | public class SimplifiedRoadMapOfPartOfRomania : ExtendableMap method SimplifiedRoadMapOfPartOfRomania (line 19) | public SimplifiedRoadMapOfPartOfRomania() method initMap (line 49) | public static void initMap(ExtendableMap map) FILE: aima-csharp/environment/map/StraightLineDistanceHeuristicFunction.cs class StraightLineDistanceHeuristicFunction (line 9) | public class StraightLineDistanceHeuristicFunction : AdaptableHeuristicF... method StraightLineDistanceHeuristicFunction (line 11) | public StraightLineDistanceHeuristicFunction(Object goal, Map map) method h (line 17) | public double h(Object state) FILE: aima-csharp/environment/wumpusworld/AgentPercept.cs class AgentPercept (line 25) | public class AgentPercept : Percept method AgentPercept (line 36) | public AgentPercept() method AgentPercept (line 54) | public AgentPercept(bool stench, bool breeze, bool glitter, method isStench (line 64) | public bool isStench() method setStench (line 69) | public void setStench(bool stench) method isBreeze (line 74) | public bool isBreeze() method setBreeze (line 79) | public void setBreeze(bool breeze) method isGlitter (line 84) | public bool isGlitter() method setGlitter (line 89) | public void setGlitter(bool glitter) method isBump (line 94) | public bool isBump() method setBump (line 99) | public void setBump(bool bump) method isScream (line 104) | public bool isScream() method setScream (line 109) | public void setScream(bool scream) method toString (line 114) | public string toString() FILE: aima-csharp/environment/wumpusworld/AgentPosition.cs class AgentPosition (line 5) | internal class AgentPosition method getX (line 7) | internal int getX() method getY (line 12) | internal int getY() FILE: aima-csharp/environment/wumpusworld/ManhattanHeuristicFunction.cs class ManhattanHeuristicFunction (line 14) | public class ManhattanHeuristicFunction : HeuristicFunction method ManhattanHeuristicFunction (line 18) | public ManhattanHeuristicFunction(HashSet goals) method h (line 23) | public double h(Object state) method evaluateManhattanDistanceOf (line 41) | private int evaluateManhattanDistanceOf(int x1, int y1, int x2, int y2) FILE: aima-csharp/environment/wumpusworld/Room.cs class Room (line 15) | public class Room method Room (line 28) | public Room(int x, int y) method getX (line 38) | public int getX() method getY (line 47) | public int getY() method toString (line 52) | public string toString() method equals (line 57) | public bool equals(object o) method hashCode (line 70) | public int hashCode() FILE: aima-csharp/logic/common/Lexer.cs class Lexer (line 17) | public abstract class Lexer method setInput (line 34) | public void setInput(String inputString) method setInput (line 46) | public void setInput(StringReader inputReader) method nextToken (line 59) | public abstract Token nextToken(); method getCurrentPositionInInput (line 63) | protected int getCurrentPositionInInput() method lookAhead (line 71) | protected char lookAhead(int position) method consume (line 79) | protected void consume() method isEndOfInput (line 90) | private bool isEndOfInput(int i) method initializeLookAheadBuffer (line 98) | private void initializeLookAheadBuffer() method loadNextCharacterFromInput (line 121) | private void loadNextCharacterFromInput() method readInput (line 139) | private int readInput() FILE: aima-csharp/logic/common/LexerException.cs class LexerException (line 14) | public class LexerException : SystemException method LexerException (line 20) | public LexerException(String message, int currentPositionInInput): bas... method LexerException (line 25) | public LexerException(String message, int currentPositionInInput, method getCurrentPositionInInputExceptionThrown (line 37) | public int getCurrentPositionInInputExceptionThrown() FILE: aima-csharp/logic/common/LogicTokenTypes.cs type LogicTokenTypes (line 10) | public enum LogicTokenTypes : int FILE: aima-csharp/logic/common/Parser.cs class Parser (line 19) | public abstract class Parser method getLexer (line 31) | public abstract Lexer getLexer(); method parse (line 41) | public S parse(String input) method parse (line 54) | public S parse(StringReader inputReader) method parse (line 80) | protected abstract S parse(); method lookAhead (line 85) | protected Token lookAhead(int i) method consume (line 93) | protected void consume() method match (line 105) | protected void match(String toMatchSymbol) method initializeLookAheadBuffer (line 123) | private void initializeLookAheadBuffer() method loadNextTokenFromInput (line 142) | private void loadNextTokenFromInput() method isEndOfInput (line 163) | private bool isEndOfInput(Token t) FILE: aima-csharp/logic/common/ParserException.cs class ParserException (line 14) | public class ParserException : SystemException method ParserException (line 20) | public ParserException(String message, params Token[] problematicToken... method ParserException (line 31) | public ParserException(String message, Exception cause, params Token[]... method getProblematicTokens (line 47) | public List getProblematicTokens() FILE: aima-csharp/logic/common/ParserTreeNode.cs type ParseTreeNode (line 7) | public interface ParseTreeNode FILE: aima-csharp/logic/common/Token.cs class Token (line 13) | public class Token method Token (line 30) | public Token(int type, String text, int startCharPositionInInput) method getText (line 42) | public String getText() method getType (line 52) | public int getType() method getStartCharPositionInInput (line 61) | public int getStartCharPositionInInput() method Equals (line 66) | public override bool Equals(Object o) method GetHashCode (line 82) | public override int GetHashCode() method ToString (line 91) | public override String ToString() FILE: aima-csharp/logic/fol/CNFConverter.cs class CNFConverter (line 24) | public class CNFConverter method CNFConverter (line 29) | public CNFConverter(FOLParser parser) method convertToCNF (line 46) | public CNF convertToCNF(Sentence aSentence) class ImplicationsOut (line 82) | class ImplicationsOut : FOLVisitor method ImplicationsOut (line 84) | public ImplicationsOut() method visitPredicate (line 89) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 94) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 99) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 104) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 109) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 114) | public Object visitNotSentence(NotSentence notSentence, Object arg) method visitConnectedSentence (line 121) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... method visitQuantifiedSentence (line 149) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, class NegationsIn (line 159) | class NegationsIn : FOLVisitor method NegationsIn (line 161) | public NegationsIn() method visitPredicate (line 166) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 171) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 176) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 181) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 186) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 191) | public Object visitNotSentence(NotSentence notSentence, Object arg) method visitConnectedSentence (line 257) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... method visitQuantifiedSentence (line 264) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, class StandardizeQuantiferVariables (line 274) | class StandardizeQuantiferVariables : FOLVisitor class ApartIndexical (line 279) | private class ApartIndexical : StandardizeApartIndexical method getPrefix (line 283) | public String getPrefix() method getNextIndex (line 288) | public int getNextIndex() method StandardizeQuantiferVariables (line 296) | public StandardizeQuantiferVariables(SubstVisitor substVisitor) method visitPredicate (line 301) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 306) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 311) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 316) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 321) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 326) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 332) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... method visitQuantifiedSentence (line 339) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, class RemoveQuantifiers (line 382) | class RemoveQuantifiers : FOLVisitor method RemoveQuantifiers (line 388) | public RemoveQuantifiers(FOLParser parser) method visitPredicate (line 395) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 400) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 405) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 410) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 415) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 420) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 426) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... method visitQuantifiedSentence (line 433) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, class DistributeOrOverAnd (line 496) | class DistributeOrOverAnd : FOLVisitor method DistributeOrOverAnd (line 499) | public DistributeOrOverAnd() method visitPredicate (line 504) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 509) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 514) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 519) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 524) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 529) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 535) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... method visitQuantifiedSentence (line 582) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, class CNFConstructor (line 592) | class CNFConstructor : FOLVisitor method CNFConstructor (line 594) | public CNFConstructor() method construct (line 599) | public CNF construct(Sentence orDistributedOverAnd) method visitPredicate (line 608) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 622) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 636) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 642) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 648) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 654) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 665) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... method visitQuantifiedSentence (line 681) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, class ArgData (line 690) | class ArgData method ArgData (line 695) | public ArgData() FILE: aima-csharp/logic/fol/Connectors.cs class Connectors (line 9) | public class Connectors method isAND (line 21) | public static bool isAND(String connector) method isOR (line 26) | public static bool isOR(String connector) method isNOT (line 31) | public static bool isNOT(String connector) method isIMPLIES (line 36) | public static bool isIMPLIES(String connector) method isBICOND (line 41) | public static bool isBICOND(String connector) FILE: aima-csharp/logic/fol/PredicateCollector.cs class PredicateCollector (line 12) | public class PredicateCollector : FOLVisitor method PredicateCollector (line 14) | public PredicateCollector() method getPredicates (line 19) | public List getPredicates(Sentence s) method visitPredicate (line 24) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 31) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 36) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 41) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 46) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 51) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 57) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... method visitQuantifiedSentence (line 64) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, FILE: aima-csharp/logic/fol/Quantifiers.cs class Quantifiers (line 9) | public class Quantifiers method isFORALL (line 14) | public static bool isFORALL(String quantifier) method isEXISTS (line 19) | public static bool isEXISTS(String quantifier) FILE: aima-csharp/logic/fol/StandardizeApart.cs class StandardizeApart (line 13) | public class StandardizeApart method StandardizeApart (line 18) | public StandardizeApart() method StandardizeApart (line 24) | public StandardizeApart(VariableCollector variableCollector, method standardizeApart (line 32) | public StandardizeApartResult standardizeApart(Sentence sentence, method standardizeApart (line 60) | public Clause standardizeApart(Clause clause, method standardizeApart (line 97) | public Chain standardizeApart(Chain chain, method standardizeApart (line 139) | public Dictionary standardizeApart(List l1Lit... FILE: aima-csharp/logic/fol/StandardizeApartInPlace.cs class StandardizeApartInPlace (line 13) | public class StandardizeApartInPlace method standardizeApart (line 17) | public static int standardizeApart(Chain c, int saIdx) method standardizeApart (line 27) | public static int standardizeApart(Clause c, int saIdx) method standardizeApart (line 40) | private static int standardizeApart(List variables, Object e... method collectAllVariables (line 67) | private static void collectAllVariables(Sentence s, List vars) class CollectAllVariables (line 73) | class CollectAllVariables : FOLVisitor method CollectAllVariables (line 75) | public CollectAllVariables() method visitVariable (line 80) | public Object visitVariable(Variable var, Object arg) method visitQuantifiedSentence (line 87) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, method visitPredicate (line 99) | public Object visitPredicate(Predicate predicate, Object arg) method visitTermEquality (line 108) | public Object visitTermEquality(TermEquality equality, Object arg) method visitConstant (line 115) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 120) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 129) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 135) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... FILE: aima-csharp/logic/fol/StandardizeApartIndexical.cs type StandardizeApartIndexical (line 9) | public interface StandardizeApartIndexical method getPrefix (line 11) | String getPrefix(); method getNextIndex (line 13) | int getNextIndex(); FILE: aima-csharp/logic/fol/StandardizeApartIndexicalFactory.cs class StandardizeApartIndexicalFactory (line 13) | public class StandardizeApartIndexicalFactory method flush (line 18) | public static void flush() method newStandardizeApartIndexical (line 26) | public static StandardizeApartIndexical newStandardizeApartIndexical( class StandardizeApartIndexicalImpl (line 62) | class StandardizeApartIndexicalImpl : StandardizeApartIndexical method StandardizeApartIndexicalImpl (line 67) | public StandardizeApartIndexicalImpl(String prefix) method getPrefix (line 73) | public String getPrefix() method getNextIndex (line 78) | public int getNextIndex() FILE: aima-csharp/logic/fol/StandardizeApartResult.cs class StandardizeApartResult (line 11) | public class StandardizeApartResult method StandardizeApartResult (line 18) | public StandardizeApartResult(Sentence originalSentence, method getOriginalSentence (line 28) | public Sentence getOriginalSentence() method getStandardized (line 33) | public Sentence getStandardized() method getForwardSubstitution (line 38) | public Dictionary getForwardSubstitution() method getReverseSubstitution (line 43) | public Dictionary getReverseSubstitution() FILE: aima-csharp/logic/fol/SubstVisitor.cs class SubstVisitor (line 13) | public class SubstVisitor : AbstractFOLVisitor method SubstVisitor (line 15) | public SubstVisitor() method subst (line 32) | public Sentence subst(Dictionary theta, Sentence sente... method subst (line 37) | public Term subst(Dictionary theta, Term aTerm) method subst (line 42) | public Function subst(Dictionary theta, Function funct... method subst (line 47) | public Literal subst(Dictionary theta, Literal literal) method visitVariable (line 53) | public override Object visitVariable(Variable variable, Object arg) method visitQuantifiedSentence (line 63) | public override Object visitQuantifiedSentence(QuantifiedSentence sent... FILE: aima-csharp/logic/fol/SubsumptionElimination.cs class SubsumptionElimination (line 29) | public class SubsumptionElimination method findSubsumedClauses (line 41) | public static List findSubsumedClauses(List clauses) FILE: aima-csharp/logic/fol/Unifier.cs class Unifier (line 51) | public class Unifier method Unifier (line 56) | public Unifier() method unify (line 75) | public Dictionary unify(FOLNode x, FOLNode y) method unify (line 96) | public Dictionary unify(FOLNode x, FOLNode y, method unify (line 150) | public Dictionary unify(List x, method occurCheck (line 182) | protected bool occurCheck(Dictionary theta, Variable var, method unifyVar (line 220) | private Dictionary unifyVar(Variable var, FOLNode x, method unifyOps (line 251) | private Dictionary unifyOps(String x, String y, method args (line 268) | private List args(FOLNode x) method op (line 273) | private String op(FOLNode x) method isCompound (line 278) | private bool isCompound(FOLNode x) method cascadeOccurCheck (line 283) | private bool cascadeOccurCheck(Dictionary theta, Varia... method cascadeSubstitution (line 344) | private void cascadeSubstitution(Dictionary theta, Var... FILE: aima-csharp/logic/fol/VariableCollector.cs class VariableCollector (line 13) | public class VariableCollector : FOLVisitor method VariableCollector (line 15) | public VariableCollector() method collectAllVariables (line 23) | public List collectAllVariables(Sentence sentence) method collectAllVariables (line 32) | public List collectAllVariables(Term aTerm) method collectAllVariables (line 41) | public List collectAllVariables(Clause aClause) method collectAllVariables (line 53) | public List collectAllVariables(Chain aChain) method visitVariable (line 65) | public Object visitVariable(Variable var, Object arg) method visitQuantifiedSentence (line 72) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, method visitPredicate (line 84) | public Object visitPredicate(Predicate predicate, Object arg) method visitTermEquality (line 93) | public Object visitTermEquality(TermEquality equality, Object arg) method visitConstant (line 100) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 105) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 114) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 120) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... FILE: aima-csharp/logic/fol/domain/DomainFactory.cs class DomainFactory (line 9) | public class DomainFactory method crusadesDomain (line 11) | public static FOLDomain crusadesDomain() method knowsDomain (line 29) | public static FOLDomain knowsDomain() method weaponsDomain (line 42) | public static FOLDomain weaponsDomain() method kingsDomain (line 62) | public static FOLDomain kingsDomain() method lovesAnimalDomain (line 74) | public static FOLDomain lovesAnimalDomain() method ringOfThievesDomain (line 88) | public static FOLDomain ringOfThievesDomain() FILE: aima-csharp/logic/fol/domain/FOLDomain.cs class FOLDomain (line 11) | public class FOLDomain method FOLDomain (line 19) | public FOLDomain() method FOLDomain (line 26) | public FOLDomain(FOLDomain toCopy): this(toCopy.getConstants(), toCopy... method FOLDomain (line 32) | public FOLDomain(HashSet constants, HashSet functions, method getConstants (line 40) | public HashSet getConstants() method getFunctions (line 45) | public HashSet getFunctions() method getPredicates (line 50) | public HashSet getPredicates() method addConstant (line 55) | public void addConstant(String constant) method addSkolemConstant (line 60) | public String addSkolemConstant() method addFunction (line 76) | public void addFunction(String function) method addSkolemFunction (line 81) | public String addSkolemFunction() method addPredicate (line 96) | public void addPredicate(String predicate) method addAnswerLiteral (line 101) | public String addAnswerLiteral() method addFOLDomainListener (line 116) | public void addFOLDomainListener(FOLDomainListener listener) method removeFOLDomainListener (line 127) | public void removeFOLDomainListener(FOLDomainListener listener) method notifyFOLDomainListeners (line 137) | private void notifyFOLDomainListeners(FOLDomainEvent evt) FILE: aima-csharp/logic/fol/domain/FOLDomainAnswerLiteralAddedEvent.cs class FOLDomainAnswerLiteralAddedEvent (line 9) | public class FOLDomainAnswerLiteralAddedEvent : FOLDomainEvent method FOLDomainAnswerLiteralAddedEvent (line 15) | public FOLDomainAnswerLiteralAddedEvent(Object source, method getAnswerLiteralNameName (line 21) | public String getAnswerLiteralNameName() method notifyListener (line 26) | public override void notifyListener(FOLDomainListener listener) FILE: aima-csharp/logic/fol/domain/FOLDomainEvent.cs class FOLDomainEvent (line 9) | public abstract class FOLDomainEvent method FOLDomainEvent (line 13) | public FOLDomainEvent(Object source) method notifyListener (line 18) | public abstract void notifyListener(FOLDomainListener listener); FILE: aima-csharp/logic/fol/domain/FOLDomainListener.cs type FOLDomainListener (line 9) | public interface FOLDomainListener method skolemConstantAdded (line 11) | void skolemConstantAdded(FOLDomainSkolemConstantAddedEvent _event); method skolemFunctionAdded (line 13) | void skolemFunctionAdded(FOLDomainSkolemFunctionAddedEvent _event); method answerLiteralNameAdded (line 15) | void answerLiteralNameAdded(FOLDomainAnswerLiteralAddedEvent _event); FILE: aima-csharp/logic/fol/domain/FOLDomainSkolemConstantAddedEvent.cs class FOLDomainSkolemConstantAddedEvent (line 9) | public class FOLDomainSkolemConstantAddedEvent : FOLDomainEvent method FOLDomainSkolemConstantAddedEvent (line 15) | public FOLDomainSkolemConstantAddedEvent(Object source, method getSkolemConstantName (line 21) | public String getSkolemConstantName() method notifyListener (line 26) | public override void notifyListener(FOLDomainListener listener) FILE: aima-csharp/logic/fol/domain/FOLDomainSkolemFunctionAddedEvent.cs class FOLDomainSkolemFunctionAddedEvent (line 9) | public class FOLDomainSkolemFunctionAddedEvent : FOLDomainEvent method FOLDomainSkolemFunctionAddedEvent (line 15) | public FOLDomainSkolemFunctionAddedEvent(Object source, method getSkolemConstantName (line 21) | public String getSkolemConstantName() method notifyListener (line 26) | public override void notifyListener(FOLDomainListener listener) FILE: aima-csharp/logic/fol/inference/AbstractModulation.cs class AbstractModulation (line 15) | public abstract class AbstractModulation method isValidMatch (line 23) | public abstract bool isValidMatch(Term toMatch, method getMatchingSubstitution (line 27) | protected IdentifyCandidateMatchingTerm getMatchingSubstitution( class IdentifyCandidateMatchingTerm (line 42) | protected class IdentifyCandidateMatchingTerm : FOLVisitor method IdentifyCandidateMatchingTerm (line 50) | public IdentifyCandidateMatchingTerm(Term toMatch, method isMatch (line 61) | public bool isMatch() method getMatchingTerm (line 66) | public Term getMatchingTerm() method getMatchingSubstitution (line 71) | public Dictionary getMatchingSubstitution() method visitPredicate (line 77) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 91) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 105) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 119) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 132) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 159) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 165) | public Object visitConnectedSentence(ConnectedSentence sentence, method visitQuantifiedSentence (line 172) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, class ReplaceMatchingTerm (line 181) | protected class ReplaceMatchingTerm : FOLVisitor method ReplaceMatchingTerm (line 187) | public ReplaceMatchingTerm() method replace (line 191) | public AtomicSentence replace(AtomicSentence expression, method visitPredicate (line 202) | public Object visitPredicate(Predicate p, Object arg) method visitTermEquality (line 213) | public Object visitTermEquality(TermEquality equality, Object arg) method visitVariable (line 220) | public Object visitVariable(Variable variable, Object arg) method visitConstant (line 233) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 246) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 266) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 272) | public Object visitConnectedSentence(ConnectedSentence sentence, method visitQuantifiedSentence (line 279) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, FILE: aima-csharp/logic/fol/inference/Demodulation.cs class Demodulation (line 34) | public class Demodulation : AbstractModulation method Demodulation (line 36) | public Demodulation() method apply (line 41) | public Clause apply(TermEquality assertion, Clause clExpression) method apply (line 85) | public AtomicSentence apply(TermEquality assertion, method isValidMatch (line 111) | public override bool isValidMatch(Term toMatch, FILE: aima-csharp/logic/fol/inference/FOLBCAsk.cs class FOLBCAsk (line 37) | public class FOLBCAsk : InferenceProcedure method FOLBCAsk (line 39) | public FOLBCAsk() method ask (line 55) | public InferenceResult ask(FOLKnowledgeBase KB, Sentence query) method folbcask (line 89) | private List> folbcask(FOLKnowledgeBase KB, method compose (line 140) | private Dictionary compose(FOLKnowledgeBase KB, method cascadeSubstitutions (line 173) | private Dictionary cascadeSubstitutions(FOLKnowledgeBa... class BCAskAnswerHandler (line 185) | class BCAskAnswerHandler : InferenceResult method BCAskAnswerHandler (line 190) | public BCAskAnswerHandler() method isPossiblyFalse (line 196) | public bool isPossiblyFalse() method isTrue (line 201) | public bool isTrue() method isUnknownDueToTimeout (line 206) | public bool isUnknownDueToTimeout() method isPartialResultDueToTimeout (line 211) | public bool isPartialResultDueToTimeout() method getProofs (line 216) | public List getProofs() method setAllProofSteps (line 222) | public void setAllProofSteps(List> allProofS... method addProofStep (line 232) | public void addProofStep( FILE: aima-csharp/logic/fol/inference/FOLFCAsk.cs class FOLFCAsk (line 45) | public class FOLFCAsk : InferenceProcedure method FOLFCAsk (line 47) | public FOLFCAsk() method ask (line 61) | public InferenceResult ask(FOLKnowledgeBase KB, Sentence query) method invert (line 161) | private List invert(List lits) class FCAskAnswerHandler (line 172) | class FCAskAnswerHandler : InferenceResult method FCAskAnswerHandler (line 178) | public FCAskAnswerHandler() method isPossiblyFalse (line 184) | public bool isPossiblyFalse() method isTrue (line 189) | public bool isTrue() method isUnknownDueToTimeout (line 194) | public bool isUnknownDueToTimeout() method isPartialResultDueToTimeout (line 199) | public bool isPartialResultDueToTimeout() method getProofs (line 204) | public List getProofs() method addProofStep (line 210) | public void addProofStep(Clause implication, Literal fact, method addProofStep (line 217) | public void addProofStep(ProofStep step) method setAnswers (line 222) | public void setAnswers(List> answers) FILE: aima-csharp/logic/fol/inference/FOLModelElimination.cs class FOLModelElimination (line 22) | public class FOLModelElimination : InferenceProcedure method FOLModelElimination (line 30) | public FOLModelElimination() method FOLModelElimination (line 35) | public FOLModelElimination(long maxQueryTime) method FOLModelElimination (line 40) | public FOLModelElimination(FOLModelEliminationTracer tracer) method FOLModelElimination (line 45) | public FOLModelElimination(FOLModelEliminationTracer tracer, method getMaxQueryTime (line 52) | public long getMaxQueryTime() method setMaxQueryTime (line 57) | public void setMaxQueryTime(long maxQueryTime) method ask (line 64) | public InferenceResult ask(FOLKnowledgeBase kb, Sentence aQuery) method createChainsFromClauses (line 118) | public List createChainsFromClauses(List clauses) method recursiveDLS (line 134) | private void recursiveDLS(int maxDepth, int currentDepth, Chain nearPa... method tryCancellation (line 217) | private Chain tryCancellation(Chain c) method tryDropping (line 257) | private Chain tryDropping(Chain c) class AnswerHandler (line 270) | class AnswerHandler : InferenceResult method AnswerHandler (line 281) | public AnswerHandler(FOLKnowledgeBase kb, Sentence aQuery, method isPossiblyFalse (line 320) | public bool isPossiblyFalse() method isTrue (line 325) | public bool isTrue() method isUnknownDueToTimeout (line 330) | public bool isUnknownDueToTimeout() method isPartialResultDueToTimeout (line 335) | public bool isPartialResultDueToTimeout() method getProofs (line 340) | public List getProofs() method getSetOfSupport (line 347) | public List getSetOfSupport() method isComplete (line 352) | public bool isComplete() method resetMaxDepthReached (line 357) | public void resetMaxDepthReached() method getMaxDepthReached (line 362) | public int getMaxDepthReached() method updateMaxDepthReached (line 367) | public void updateMaxDepthReached(int depth) method isAnswer (line 375) | public bool isAnswer(Chain nearParent) method ToString (line 443) | public override String ToString() class IndexedFarParents (line 454) | class IndexedFarParents method IndexedFarParents (line 462) | public IndexedFarParents(List sos, List background) method getNumberFarParents (line 467) | public int getNumberFarParents(Chain farParent) method resetNumberFarParentsTo (line 490) | public void resetNumberFarParentsTo(Chain farParent, int toSize) method getNumberCandidateFarParents (line 510) | public int getNumberCandidateFarParents(Chain nearParent) method attemptReduction (line 534) | public Chain attemptReduction(Chain nearParent, int farParentIndex) method addToIndex (line 597) | public Chain addToIndex(Chain c) method standardizeApart (line 627) | public void standardizeApart(Chain c) method ToString (line 632) | public override String ToString() method constructInternalDataStructures (line 661) | private void constructInternalDataStructures(List sos, FILE: aima-csharp/logic/fol/inference/FOLOTTERLikeTheoremProver.cs class FOLOTTERLikeTheoremProver (line 70) | public class FOLOTTERLikeTheoremProver : InferenceProcedure method FOLOTTERLikeTheoremProver (line 80) | public FOLOTTERLikeTheoremProver() method FOLOTTERLikeTheoremProver (line 85) | public FOLOTTERLikeTheoremProver(long maxQueryTime) method FOLOTTERLikeTheoremProver (line 90) | public FOLOTTERLikeTheoremProver(bool useParamodulation) method FOLOTTERLikeTheoremProver (line 95) | public FOLOTTERLikeTheoremProver(long maxQueryTime, method getMaxQueryTime (line 102) | public long getMaxQueryTime() method setMaxQueryTime (line 107) | public void setMaxQueryTime(long maxQueryTime) method isUseParamodulation (line 112) | public bool isUseParamodulation() method setUseParamodulation (line 117) | public void setUseParamodulation(bool useParamodulation) method getLightestClauseHeuristic (line 122) | public LightestClauseHeuristic getLightestClauseHeuristic() method setLightestClauseHeuristic (line 127) | public void setLightestClauseHeuristic( method getClauseFilter (line 133) | public ClauseFilter getClauseFilter() method setClauseFilter (line 138) | public void setClauseFilter(ClauseFilter clauseFilter) method getClauseSimplifier (line 143) | public ClauseSimplifier getClauseSimplifier() method setClauseSimplifier (line 148) | public void setClauseSimplifier(ClauseSimplifier clauseSimplifier) method ask (line 154) | public InferenceResult ask(FOLKnowledgeBase KB, Sentence alpha) method otter (line 243) | private InferenceResult otter(OTTERAnswerHandler ansHandler, method infer (line 274) | private List infer(Clause clause, List usable) method process (line 302) | private void process(OTTERAnswerHandler ansHandler, method lookForUnitRefutation (line 357) | private void lookForUnitRefutation(OTTERAnswerHandler ansHandler, class IndexedClauses (line 421) | class IndexedClauses method IndexedClauses (line 430) | public IndexedClauses(LightestClauseHeuristic lightestClauseHeuristic, method addClause (line 444) | public void addClause(Clause c, List sos, List usable) method indexClause (line 507) | private void indexClause(Clause c) class OTTERAnswerHandler (line 532) | class OTTERAnswerHandler : InferenceResult method OTTERAnswerHandler (line 542) | public OTTERAnswerHandler(Literal answerLiteral, method isPossiblyFalse (line 554) | public bool isPossiblyFalse() method isTrue (line 559) | public bool isTrue() method isUnknownDueToTimeout (line 564) | public bool isUnknownDueToTimeout() method isPartialResultDueToTimeout (line 569) | public bool isPartialResultDueToTimeout() method getProofs (line 574) | public List getProofs() method isComplete (line 581) | public bool isComplete() method isLookingForAnswerLiteral (line 586) | public bool isLookingForAnswerLiteral() method isCheckForUnitRefutation (line 591) | public bool isCheckForUnitRefutation(Clause clause) method isAnswer (line 617) | public bool isAnswer(Clause aClause) method ToString (line 687) | public override String ToString() FILE: aima-csharp/logic/fol/inference/FOLTFMResolution.cs class FOLTFMResolution (line 32) | public class FOLTFMResolution : InferenceProcedure method FOLTFMResolution (line 38) | public FOLTFMResolution() method FOLTFMResolution (line 43) | public FOLTFMResolution(long maxQueryTime) method FOLTFMResolution (line 48) | public FOLTFMResolution(FOLTFMResolutionTracer tracer) method getMaxQueryTime (line 53) | public long getMaxQueryTime() method setMaxQueryTime (line 58) | public void setMaxQueryTime(long maxQueryTime) method getTracer (line 63) | public FOLTFMResolutionTracer getTracer() method setTracer (line 68) | public void setTracer(FOLTFMResolutionTracer tracer) method ask (line 74) | public InferenceResult ask(FOLKnowledgeBase KB, Sentence alpha) class TFMAnswerHandler (line 224) | class TFMAnswerHandler : InferenceResult method TFMAnswerHandler (line 234) | public TFMAnswerHandler(Literal answerLiteral, method isPossiblyFalse (line 247) | public bool isPossiblyFalse() method isTrue (line 252) | public bool isTrue() method isUnknownDueToTimeout (line 257) | public bool isUnknownDueToTimeout() method isPartialResultDueToTimeout (line 262) | public bool isPartialResultDueToTimeout() method getProofs (line 267) | public List getProofs() method isComplete (line 274) | public bool isComplete() method checkForPossibleAnswers (line 279) | public void checkForPossibleAnswers(List resolvents) method ToString (line 349) | public override String ToString() FILE: aima-csharp/logic/fol/inference/InferenceProcedure.cs type InferenceProcedure (line 12) | public interface InferenceProcedure method ask (line 22) | InferenceResult ask(FOLKnowledgeBase kb, Sentence query); FILE: aima-csharp/logic/fol/inference/InferenceResult.cs type InferenceResult (line 11) | public interface InferenceResult method isPossiblyFalse (line 18) | bool isPossiblyFalse(); method isTrue (line 27) | bool isTrue(); method isUnknownDueToTimeout (line 34) | bool isUnknownDueToTimeout(); method isPartialResultDueToTimeout (line 43) | bool isPartialResultDueToTimeout(); method getProofs (line 50) | List getProofs(); FILE: aima-csharp/logic/fol/inference/InferenceResultPrinter.cs class InferenceResultPrinter (line 12) | public class InferenceResultPrinter method printInferenceResult (line 22) | public static String printInferenceResult(InferenceResult ir) FILE: aima-csharp/logic/fol/inference/Paramodulation.cs class Paramodulation (line 28) | public class Paramodulation : AbstractModulation method Paramodulation (line 36) | public Paramodulation() method apply (line 41) | public List apply(Clause c1, Clause c2) method apply (line 46) | public List apply(Clause c1, Clause c2, bool standardizeApart) method isValidMatch (line 191) | public override bool isValidMatch(Term toMatch, FILE: aima-csharp/logic/fol/inference/otter/ClauseFilter.cs type ClauseFilter (line 11) | public interface ClauseFilter method filter (line 13) | HashSet filter(HashSet clauses); FILE: aima-csharp/logic/fol/inference/otter/ClauseSimplifier.cs type ClauseSimplifier (line 11) | public interface ClauseSimplifier method simplify (line 13) | Clause simplify(Clause c); FILE: aima-csharp/logic/fol/inference/otter/LightestClauseHeuristic.cs type LightestClauseHeuristic (line 16) | public interface LightestClauseHeuristic method getLightestClause (line 23) | Clause getLightestClause(); method initialSOS (line 32) | void initialSOS(List clauses); method addedClauseToSOS (line 34) | void addedClauseToSOS(Clause clause); method removedClauseFromSOS (line 36) | void removedClauseFromSOS(Clause clause); FILE: aima-csharp/logic/fol/inference/otter/defaultimpl/DefaultClauseFilter.cs class DefaultClauseFilter (line 12) | public class DefaultClauseFilter : ClauseFilter method DefaultClauseFilter (line 14) | public DefaultClauseFilter() method filter (line 21) | public HashSet filter(HashSet clauses) FILE: aima-csharp/logic/fol/inference/otter/defaultimpl/DefaultClauseSimplifier.cs class DefaultClauseSimplifier (line 15) | public class DefaultClauseSimplifier : ClauseSimplifier method DefaultClauseSimplifier (line 20) | public DefaultClauseSimplifier() method DefaultClauseSimplifier (line 25) | public DefaultClauseSimplifier(List rewrites) method simplify (line 32) | public Clause simplify(Clause c) FILE: aima-csharp/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.cs class DefaultLightestClauseHeuristic (line 13) | public class DefaultLightestClauseHeuristic : LightestClauseHeuristic method DefaultLightestClauseHeuristic (line 17) | public DefaultLightestClauseHeuristic() method getLightestClause (line 25) | public Clause getLightestClause() method initialSOS (line 37) | public void initialSOS(List clauses) method addedClauseToSOS (line 43) | public void addedClauseToSOS(Clause clause) method removedClauseFromSOS (line 48) | public void removedClauseFromSOS(Clause clause) class LightestClauseSorter (line 56) | class LightestClauseSorter : IComparer method Compare (line 58) | public int Compare(Clause c1, Clause c2) method compareEqualityIdentities (line 70) | private int compareEqualityIdentities(Clause c1, Clause c2) FILE: aima-csharp/logic/fol/inference/proof/AbstractProofStep.cs class AbstractProofStep (line 10) | public abstract class AbstractProofStep : ProofStep method AbstractProofStep (line 14) | public AbstractProofStep() method getStepNumber (line 21) | public int getStepNumber() method setStepNumber (line 26) | public void setStepNumber(int step) method getPredecessorSteps (line 31) | public abstract List getPredecessorSteps(); method getProof (line 33) | public abstract String getProof(); method getJustification (line 35) | public abstract String getJustification(); FILE: aima-csharp/logic/fol/inference/proof/Proof.cs type Proof (line 11) | public interface Proof method getSteps (line 17) | List getSteps(); method getAnswerBindings (line 25) | Dictionary getAnswerBindings(); method replaceAnswerBindings (line 33) | void replaceAnswerBindings(Dictionary updatedBindings); FILE: aima-csharp/logic/fol/inference/proof/ProofFinal.cs class ProofFinal (line 11) | public class ProofFinal : Proof method ProofFinal (line 17) | public ProofFinal(ProofStep finalStep, Dictionary answ... method getSteps (line 25) | public List getSteps() method getAnswerBindings (line 35) | public Dictionary getAnswerBindings() method replaceAnswerBindings (line 40) | public void replaceAnswerBindings(Dictionary updatedBi... method ToString (line 48) | public override String ToString() method calculateProofSteps (line 56) | private void calculateProofSteps() method addToProofSteps (line 95) | private void addToProofSteps(ProofStep step) FILE: aima-csharp/logic/fol/inference/proof/ProofPrinter.cs class ProofPrinter (line 11) | public class ProofPrinter method printProof (line 20) | public static String printProof(Proof proof) FILE: aima-csharp/logic/fol/inference/proof/ProofStep.cs type ProofStep (line 10) | public interface ProofStep method getStepNumber (line 12) | int getStepNumber(); method setStepNumber (line 14) | void setStepNumber(int step); method getPredecessorSteps (line 16) | List getPredecessorSteps(); method getProof (line 18) | String getProof(); method getJustification (line 20) | String getJustification(); FILE: aima-csharp/logic/fol/inference/proof/ProofStepBwChGoal.cs class ProofStepBwChGoal (line 15) | public class ProofStepBwChGoal : AbstractProofStep method ProofStepBwChGoal (line 22) | public ProofStepBwChGoal(Clause toProve, Literal currentGoal, method getBindings (line 33) | public Dictionary getBindings() method setPredecessor (line 38) | public void setPredecessor(ProofStep predecessor) method getPredecessorSteps (line 46) | public override List getPredecessorSteps() method getProof (line 51) | public override String getProof() method getJustification (line 71) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepChainCancellation.cs class ProofStepChainCancellation (line 14) | public class ProofStepChainCancellation : AbstractProofStep method ProofStepChainCancellation (line 21) | public ProofStepChainCancellation(Chain cancellation, Chain cancellati... method getPredecessorSteps (line 32) | public override List getPredecessorSteps() method getProof (line 37) | public override String getProof() method getJustification (line 42) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepChainContrapositive.cs class ProofStepChainContrapositive (line 13) | public class ProofStepChainContrapositive : AbstractProofStep method ProofStepChainContrapositive (line 19) | public ProofStepChainContrapositive(Chain contrapositive, method getPredecessorSteps (line 29) | public override List getPredecessorSteps() method getProof (line 34) | public override String getProof() method getJustification (line 39) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepChainDropped.cs class ProofStepChainDropped (line 13) | public class ProofStepChainDropped : AbstractProofStep method ProofStepChainDropped (line 19) | public ProofStepChainDropped(Chain dropped, Chain droppedOff) method getPredecessorSteps (line 28) | public override List getPredecessorSteps() method getProof (line 33) | public override String getProof() method getJustification (line 38) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepChainFromClause.cs class ProofStepChainFromClause (line 13) | public class ProofStepChainFromClause : AbstractProofStep method ProofStepChainFromClause (line 19) | public ProofStepChainFromClause(Chain chain, Clause fromClause) method getPredecessorSteps (line 28) | public override List getPredecessorSteps() method getProof (line 33) | public override String getProof() method getJustification (line 38) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepChainReduction.cs class ProofStepChainReduction (line 14) | public class ProofStepChainReduction : AbstractProofStep method ProofStepChainReduction (line 21) | public ProofStepChainReduction(Chain reduction, Chain nearParent, method getPredecessorSteps (line 34) | public override List getPredecessorSteps() method getProof (line 39) | public override String getProof() method getJustification (line 44) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepClauseBinaryResolvent.cs class ProofStepClauseBinaryResolvent (line 14) | public class ProofStepClauseBinaryResolvent : AbstractProofStep method ProofStepClauseBinaryResolvent (line 29) | public ProofStepClauseBinaryResolvent(Clause resolvent, Literal pl, method ProofStepClauseBinaryResolvent (line 53) | public ProofStepClauseBinaryResolvent(Clause c, Clause clause, Clause ... method getPredecessorSteps (line 64) | public override List getPredecessorSteps() method getProof (line 69) | public override String getProof() method getJustification (line 74) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepClauseClausifySentence.cs class ProofStepClauseClausifySentence (line 14) | public class ProofStepClauseClausifySentence : AbstractProofStep method ProofStepClauseClausifySentence (line 19) | public ProofStepClauseClausifySentence(Clause clausified, method getPredecessorSteps (line 28) | public override List getPredecessorSteps() method getProof (line 33) | public override String getProof() method getJustification (line 38) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepClauseDemodulation.cs class ProofStepClauseDemodulation (line 14) | public class ProofStepClauseDemodulation : AbstractProofStep method ProofStepClauseDemodulation (line 21) | public ProofStepClauseDemodulation(Clause demodulated, Clause origClause, method getPredecessorSteps (line 32) | public override List getPredecessorSteps() method getProof (line 37) | public override String getProof() method getJustification (line 42) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepClauseFactor.cs class ProofStepClauseFactor (line 14) | public class ProofStepClauseFactor : AbstractProofStep method ProofStepClauseFactor (line 24) | public ProofStepClauseFactor(Clause factor, Clause factorOf, Literal lx, method getPredecessorSteps (line 48) | public override List getPredecessorSteps() method getProof (line 53) | public override String getProof() method getJustification (line 58) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepClauseParamodulation.cs class ProofStepClauseParamodulation (line 14) | public class ProofStepClauseParamodulation : AbstractProofStep method ProofStepClauseParamodulation (line 22) | public ProofStepClauseParamodulation(Clause paramodulated, method getPredecessorSteps (line 35) | public override List getPredecessorSteps() method getProof (line 40) | public override String getProof() method getJustification (line 45) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepFoChAlreadyAFact.cs class ProofStepFoChAlreadyAFact (line 13) | public class ProofStepFoChAlreadyAFact : AbstractProofStep method ProofStepFoChAlreadyAFact (line 18) | public ProofStepFoChAlreadyAFact(Literal fact) method getPredecessorSteps (line 25) | public override List getPredecessorSteps() method getProof (line 30) | public override String getProof() method getJustification (line 35) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepFoChAssertFact.cs class ProofStepFoChAssertFact (line 15) | public class ProofStepFoChAssertFact : AbstractProofStep method ProofStepFoChAssertFact (line 22) | public ProofStepFoChAssertFact(Clause implication, Literal fact, method getPredecessorSteps (line 36) | public override List getPredecessorSteps() method getProof (line 41) | public override String getProof() method getJustification (line 58) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepGoal.cs class ProofStepGoal (line 12) | public class ProofStepGoal : AbstractProofStep method ProofStepGoal (line 18) | public ProofStepGoal(Object proof) method getPredecessorSteps (line 25) | public override List getPredecessorSteps() method getProof (line 30) | public override String getProof() method getJustification (line 35) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepPremise.cs class ProofStepPremise (line 12) | public class ProofStepPremise : AbstractProofStep method ProofStepPremise (line 18) | public ProofStepPremise(Object proof) method getPredecessorSteps (line 25) | public override List getPredecessorSteps() method getProof (line 30) | public override String getProof() method getJustification (line 35) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/proof/ProofStepRenaming.cs class ProofStepRenaming (line 12) | public class ProofStepRenaming : AbstractProofStep method ProofStepRenaming (line 17) | public ProofStepRenaming(Object proof, ProofStep predecessor) method getPredecessorSteps (line 25) | public override List getPredecessorSteps() method getProof (line 30) | public override String getProof() method getJustification (line 35) | public override String getJustification() FILE: aima-csharp/logic/fol/inference/trace/FOLModelEliminationTracer.cs type FOLModelEliminationTracer (line 10) | public interface FOLModelEliminationTracer method reset (line 12) | void reset(); method increment (line 14) | void increment(int depth, int noFarParents); FILE: aima-csharp/logic/fol/inference/trace/FOLTFMResolutiontracer.cs type FOLTFMResolutionTracer (line 12) | public interface FOLTFMResolutionTracer method stepStartWhile (line 14) | void stepStartWhile(HashSet clauses, int totalNoClauses, method stepOuterFor (line 17) | void stepOuterFor(Clause i); method stepInnerFor (line 19) | void stepInnerFor(Clause i, Clause j); method stepResolved (line 21) | void stepResolved(Clause iFactor, Clause jFactor, HashSet reso... method stepFinished (line 23) | void stepFinished(HashSet clauses, InferenceResult result); FILE: aima-csharp/logic/fol/kb/FOLKnowledgeBase.cs class FOLKnowledgeBase (line 21) | public class FOLKnowledgeBase method FOLKnowledgeBase (line 52) | public FOLKnowledgeBase(FOLDomain domain) : this(domain, new FOLOTTERL... method FOLKnowledgeBase (line 58) | public FOLKnowledgeBase(FOLDomain domain, method FOLKnowledgeBase (line 64) | public FOLKnowledgeBase(FOLDomain domain, method clear (line 78) | public void clear() method getInferenceProcedure (line 87) | public InferenceProcedure getInferenceProcedure() method setInferenceProcedure (line 92) | public void setInferenceProcedure(InferenceProcedure inferenceProcedure) method tell (line 100) | public Sentence tell(String aSentence) method tell (line 107) | public void tell(List sentences) method tell (line 115) | public void tell(Sentence aSentence) method ask (line 125) | public InferenceResult ask(String aQuerySentence) method ask (line 130) | public InferenceResult ask(Sentence aQuery) method getNumberFacts (line 158) | public int getNumberFacts() method getNumberRules (line 163) | public int getNumberRules() method getOriginalSentences (line 168) | public List getOriginalSentences() method getAllDefiniteClauses (line 173) | public List getAllDefiniteClauses() method getAllDefiniteClauseImplications (line 178) | public List getAllDefiniteClauseImplications() method getAllClauses (line 183) | public List getAllClauses() method fetch (line 189) | public /* lock */ List> fetch(Literal l) method fetch (line 211) | public List> fetch(List literals) method unify (line 226) | public Dictionary unify(FOLNode x, FOLNode y) method subst (line 231) | public Sentence subst(Dictionary theta, Sentence aSent... method subst (line 236) | public Literal subst(Dictionary theta, Literal l) method subst (line 241) | public Term subst(Dictionary theta, Term aTerm) method standardizeApart (line 247) | public Sentence standardizeApart(Sentence aSentence) method standardizeApart (line 253) | public Clause standardizeApart(Clause aClause) method standardizeApart (line 258) | public Chain standardizeApart(Chain aChain) method collectAllVariables (line 263) | public List collectAllVariables(Sentence aSentence) method convertToCNF (line 268) | public CNF convertToCNF(Sentence aSentence) method convertToClauses (line 273) | public List convertToClauses(Sentence aSentence) method createAnswerLiteral (line 280) | public Literal createAnswerLiteral(Sentence forQuery) method isRenaming (line 295) | public bool isRenaming(Literal l) method isRenaming (line 306) | public bool isRenaming(Literal l, List possibleMatches) method ToString (line 338) | public override String ToString() method getParser (line 352) | protected FOLParser getParser() method store (line 361) | private /*lock*/ void store(Sentence aSentence) method indexFact (line 410) | private void indexFact(Literal fact) method recursiveFetch (line 420) | private void recursiveFetch(Dictionary theta, Literal l, method fetchMatchingFacts (line 462) | private List fetchMatchingFacts(Literal l) method getFactKey (line 471) | private String getFactKey(Literal l) FILE: aima-csharp/logic/fol/kb/FOLKnowledgeBaseFactory.cs class FOLKnowledgeBaseFactory (line 13) | public class FOLKnowledgeBaseFactory method createKingsKnowledgeBase (line 15) | public static FOLKnowledgeBase createKingsKnowledgeBase( method createWeaponsKnowledgeBase (line 27) | public static FOLKnowledgeBase createWeaponsKnowledgeBase( method createLovesAnimalKnowledgeBase (line 44) | public static FOLKnowledgeBase createLovesAnimalKnowledgeBase( method createRingOfThievesKnowledgeBase (line 61) | public static FOLKnowledgeBase createRingOfThievesKnowledgeBase( method createABCEqualityKnowledgeBase (line 104) | public static FOLKnowledgeBase createABCEqualityKnowledgeBase( method createABCDEqualityAndSubstitutionKnowledgeBase (line 132) | public static FOLKnowledgeBase createABCDEqualityAndSubstitutionKnowle... FILE: aima-csharp/logic/fol/kb/data/CNF.cs class CNF (line 17) | public class CNF method CNF (line 21) | public CNF(List conjunctionOfClauses) method getNumberOfClauses (line 26) | public int getNumberOfClauses() method getConjunctionOfClauses (line 31) | public List getConjunctionOfClauses() method ToString (line 36) | public override String ToString() FILE: aima-csharp/logic/fol/kb/data/Chain.cs class Chain (line 22) | public class Chain method Chain (line 28) | public Chain() method Chain (line 33) | public Chain(List literals) method getProofStep (line 38) | public ProofStep getProofStep() method setProofStep (line 48) | public void setProofStep(ProofStep proofStep) method isEmpty (line 53) | public bool isEmpty() method addLiteral (line 58) | public void addLiteral(Literal literal) method getHead (line 63) | public Literal getHead() method getTail (line 72) | public List getTail() method getNumberLiterals (line 82) | public int getNumberLiterals() method getLiterals (line 87) | public List getLiterals() method getContrapositives (line 99) | public List getContrapositives() method ToString (line 118) | public override String ToString() FILE: aima-csharp/logic/fol/kb/data/Clause.cs class Clause (line 22) | public class Clause method Clause (line 42) | public Clause() method Clause (line 47) | public Clause(List lits) method Clause (line 64) | public Clause(List lits1, List lits2) method getProofStep (line 82) | public ProofStep getProofStep() method setProofStep (line 92) | public void setProofStep(ProofStep proofStep) method isImmutable (line 97) | public bool isImmutable() method setImmutable (line 102) | public void setImmutable() method isStandardizedApartCheckRequired (line 107) | public bool isStandardizedApartCheckRequired() method setStandardizedApartCheckNotRequired (line 112) | public void setStandardizedApartCheckNotRequired() method isEmpty (line 117) | public bool isEmpty() method isUnitClause (line 122) | public bool isUnitClause() method isDefiniteClause (line 127) | public bool isDefiniteClause() method isImplicationDefiniteClause (line 134) | public bool isImplicationDefiniteClause() method isHornClause (line 142) | public bool isHornClause() method isTautology (line 149) | public bool isTautology() method addLiteral (line 171) | public void addLiteral(Literal literal) method addPositiveLiteral (line 194) | public void addPositiveLiteral(AtomicSentence atom) method addNegativeLiteral (line 199) | public void addNegativeLiteral(AtomicSentence atom) method getNumberLiterals (line 204) | public int getNumberLiterals() method getNumberPositiveLiterals (line 209) | public int getNumberPositiveLiterals() method getNumberNegativeLiterals (line 214) | public int getNumberNegativeLiterals() method getLiterals (line 219) | public List getLiterals() method getPositiveLiterals (line 224) | public List getPositiveLiterals() method getNegativeLiterals (line 229) | public List getNegativeLiterals() method getFactors (line 234) | public List getFactors() method getNonTrivialFactors (line 243) | public List getNonTrivialFactors() method subsumes (line 252) | public bool subsumes(Clause othC) method binaryResolvents (line 304) | public List binaryResolvents(Clause othC) method ToString (line 408) | public override String ToString() method GetHashCode (line 420) | public override int GetHashCode() method Equals (line 425) | public override bool Equals(Object othObj) method getEqualityIdentity (line 444) | public String getEqualityIdentity() method recalculateIdentity (line 452) | private void recalculateIdentity() method calculateFactors (line 483) | private void calculateFactors(List parentFactors) method saIfRequired (line 586) | private Clause saIfRequired(Clause othClause) method collectLikeLiterals (line 613) | private Dictionary> collectLikeLiterals(List method Compare (line 801) | public int Compare(Literal o1, Literal o2) method compareArgs (line 834) | private int compareArgs(List args1, List args2) class ClauseEqualityIdentityConstructor (line 905) | class ClauseEqualityIdentityConstructor : FOLVisitor method ClauseEqualityIdentityConstructor (line 913) | public ClauseEqualityIdentityConstructor(List literals, method getIdentity (line 1049) | public String getIdentity() method visitVariable (line 1056) | public Object visitVariable(Variable var, Object arg) method visitConstant (line 1078) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 1084) | public Object visitFunction(Function function, Object arg) method visitPredicate (line 1106) | public Object visitPredicate(Predicate predicate, Object arg) method visitTermEquality (line 1111) | public Object visitTermEquality(TermEquality equality, Object arg) method visitQuantifiedSentence (line 1116) | public Object visitQuantifiedSentence(QuantifiedSentence sentence, method visitNotSentence (line 1122) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 1127) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... FILE: aima-csharp/logic/fol/kb/data/Literal.cs class Literal (line 17) | public class Literal method Literal (line 24) | public Literal(AtomicSentence atom) method Literal (line 29) | public Literal(AtomicSentence atom, bool negated) method newInstance (line 35) | public virtual Literal newInstance(AtomicSentence atom) method isPositiveLiteral (line 40) | public bool isPositiveLiteral() method isNegativeLiteral (line 45) | public bool isNegativeLiteral() method getAtomicSentence (line 50) | public AtomicSentence getAtomicSentence() method ToString (line 55) | public override String ToString() method Equals (line 71) | public override bool Equals(Object o) method GetHashCode (line 96) | public override int GetHashCode() FILE: aima-csharp/logic/fol/kb/data/ReducedLiteral.cs class ReducedLiteral (line 16) | public class ReducedLiteral : Literal method ReducedLiteral (line 20) | public ReducedLiteral(AtomicSentence atom) : base(atom) method ReducedLiteral (line 25) | public ReducedLiteral(AtomicSentence atom, bool negated) : base(atom, ... method newInstance (line 30) | public override Literal newInstance(AtomicSentence atom) method ToString (line 35) | public override String ToString() FILE: aima-csharp/logic/fol/parsing/AbstractFOLVisitor.cs class AbstractFOLVisitor (line 11) | public class AbstractFOLVisitor : FOLVisitor method AbstractFOLVisitor (line 13) | public AbstractFOLVisitor() method recreate (line 17) | protected Sentence recreate(Object ast) method visitVariable (line 22) | public virtual Object visitVariable(Variable variable, Object arg) method visitQuantifiedSentence (line 27) | public virtual Object visitQuantifiedSentence(QuantifiedSentence sente... method visitPredicate (line 40) | public Object visitPredicate(Predicate predicate, Object arg) method visitTermEquality (line 53) | public Object visitTermEquality(TermEquality equality, Object arg) method visitConstant (line 60) | public Object visitConstant(Constant constant, Object arg) method visitFunction (line 65) | public Object visitFunction(Function function, Object arg) method visitNotSentence (line 78) | public Object visitNotSentence(NotSentence sentence, Object arg) method visitConnectedSentence (line 84) | public Object visitConnectedSentence(ConnectedSentence sentence, Objec... FILE: aima-csharp/logic/fol/parsing/FOLLexer.cs class FOLLexer (line 16) | public class FOLLexer : Lexer method FOLLexer (line 21) | public FOLLexer(FOLDomain domain) method getFOLDomain (line 37) | public FOLDomain getFOLDomain() method nextToken (line 42) | public override Token nextToken() method isCSharpIdentifierStart (line 83) | private bool isCSharpIdentifierStart(char c) method identifier (line 88) | private Token identifier() method isVariable (line 134) | private bool isVariable(String s) method identifierDetected (line 139) | private bool identifierDetected() method partOfConnector (line 145) | private bool partOfConnector() FILE: aima-csharp/logic/fol/parsing/FOLParser.cs class FOLParser (line 13) | public class FOLParser method FOLParser (line 21) | public FOLParser(FOLLexer lexer) method FOLParser (line 27) | public FOLParser(FOLDomain domain): this(new FOLLexer(domain)) method getFOLDomain (line 32) | public FOLDomain getFOLDomain() method parse (line 37) | public Sentence parse(String s) method setUpToParse (line 43) | public void setUpToParse(String s) method parseTerm (line 50) | private Term parseTerm() method parseVariable (line 72) | public Term parseVariable() method parseConstant (line 80) | public Term parseConstant() method parseFunction (line 88) | public Term parseFunction() method parsePredicate (line 96) | public Sentence parsePredicate() method processTerms (line 104) | private List processTerms() method parseTermEquality (line 122) | public Sentence parseTermEquality() method parseNotSentence (line 131) | public Sentence parseNotSentence() method lookAhead (line 139) | protected Token lookAhead(int i) method consume (line 144) | protected void consume() method loadNextTokenFromInput (line 151) | protected void loadNextTokenFromInput() method isEndOfInput (line 178) | protected bool isEndOfInput(Token t) method fillLookAheadBuffer (line 183) | protected void fillLookAheadBuffer() method match (line 191) | protected void match(String terminalSymbol) method parseSentence (line 208) | private Sentence parseSentence() method parseQuantifiedSentence (line 236) | private Sentence parseQuantifiedSentence() method parseParanthizedSentence (line 253) | private Sentence parseParanthizedSentence() method binaryConnector (line 269) | private bool binaryConnector(Token t) method lParen (line 282) | private bool lParen(Token t) method term (line 294) | private bool term(Token t) method predicate (line 309) | private bool predicate(Token t) method notToken (line 321) | private bool notToken(Token t) FILE: aima-csharp/logic/fol/parsing/FOLVisitor.cs type FOLVisitor (line 11) | public interface FOLVisitor method visitPredicate (line 13) | Object visitPredicate(Predicate p, Object arg); method visitTermEquality (line 15) | Object visitTermEquality(TermEquality equality, Object arg); method visitVariable (line 17) | Object visitVariable(Variable variable, Object arg); method visitConstant (line 19) | Object visitConstant(Constant constant, Object arg); method visitFunction (line 21) | Object visitFunction(Function function, Object arg); method visitNotSentence (line 23) | Object visitNotSentence(NotSentence sentence, Object arg); method visitConnectedSentence (line 25) | Object visitConnectedSentence(ConnectedSentence sentence, Object arg); method visitQuantifiedSentence (line 27) | Object visitQuantifiedSentence(QuantifiedSentence sentence, FILE: aima-csharp/logic/fol/parsing/ast/AtomicSentence.cs type AtomicSentence (line 9) | public interface AtomicSentence : Sentence method getArgs (line 11) | List getArgs(); method copy (line 13) | AtomicSentence copy(); FILE: aima-csharp/logic/fol/parsing/ast/ConnectedSentence.cs class ConnectedSentence (line 12) | public class ConnectedSentence : Sentence method ConnectedSentence (line 20) | public ConnectedSentence(String connector, Sentence first, Sentence se... method getConnector (line 29) | public String getConnector() method getFirst (line 34) | public Sentence getFirst() method getSecond (line 39) | public Sentence getSecond() method getSymbolicName (line 46) | public String getSymbolicName() method isCompound (line 51) | public bool isCompound() method getArgs (line 56) | public List getArgs() method accept (line 63) | public Object accept(FOLVisitor v, Object arg) method copy (line 68) | public FOLNode copy() method copySentence (line 73) | public Sentence copySentence() method Equals (line 80) | public override bool Equals(Object o) method GetHashCode (line 97) | public override int GetHashCode() method ToString (line 109) | public override String ToString() FILE: aima-csharp/logic/fol/parsing/ast/Constant.cs class Constant (line 11) | public class Constant : Term method Constant (line 16) | public Constant(String s) method getValue (line 21) | public String getValue() method getSymbolicName (line 28) | public String getSymbolicName() method isCompound (line 33) | public bool isCompound() method getArgs (line 38) | List FOLNode.getArgs() method getArgs (line 43) | public List getArgs() method accept (line 50) | public Object accept(FOLVisitor v, Object arg) method copy (line 55) | FOLNode FOLNode.copy() method copy (line 60) | public Term copy() method Equals (line 67) | public override bool Equals(Object o) method GetHashCode (line 83) | public override int GetHashCode() method ToString (line 93) | public override String ToString() FILE: aima-csharp/logic/fol/parsing/ast/FOLNode.cs type FOLNode (line 12) | public interface FOLNode : ParseTreeNode method getSymbolicName (line 14) | String getSymbolicName(); method isCompound (line 16) | bool isCompound(); method getArgs (line 18) | List getArgs(); method accept (line 20) | Object accept(FOLVisitor v, Object arg); method copy (line 22) | FOLNode copy(); FILE: aima-csharp/logic/fol/parsing/ast/Function.cs class Function (line 12) | public class Function : Term method Function (line 19) | public Function(String functionName, List terms) method getFunctionName (line 25) | public String getFunctionName() method getTerms (line 30) | public List getTerms() method getSymbolicName (line 39) | public String getSymbolicName() method isCompound (line 44) | public bool isCompound() method getArgs (line 49) | List FOLNode.getArgs() method getArgs (line 54) | public List getArgs() method accept (line 59) | public Object accept(FOLVisitor v, Object arg) method copy (line 64) | FOLNode FOLNode.copy() method copy (line 69) | public Term copy() method Equals (line 81) | public override bool Equals(Object o) method GetHashCode (line 99) | public override int GetHashCode() method ToString (line 113) | public override String ToString() FILE: aima-csharp/logic/fol/parsing/ast/NotSentence.cs class NotSentence (line 16) | public class NotSentence : Sentence method NotSentence (line 23) | public NotSentence(Sentence negated) method getNegated (line 29) | public Sentence getNegated() method getSymbolicName (line 36) | public String getSymbolicName() method isCompound (line 41) | public bool isCompound() method getArgs (line 46) | public List getArgs() method accept (line 51) | public Object accept(FOLVisitor v, Object arg) method copy (line 56) | public FOLNode copy() method copySentence (line 61) | public Sentence copySentence() method Equals (line 68) | public override bool Equals(Object o) method GetHashCode (line 83) | public override int GetHashCode() method ToString (line 93) | public override String ToString() FILE: aima-csharp/logic/fol/parsing/ast/Predicate.cs class Predicate (line 13) | public class Predicate : AtomicSentence method Predicate (line 20) | public Predicate(String predicateName, List terms) method getPredicateName (line 26) | public String getPredicateName() method getTerms (line 31) | public List getTerms() method getSymbolicName (line 38) | public String getSymbolicName() method isCompound (line 43) | public bool isCompound() method getArgs (line 48) | List FOLNode.getArgs() method copy (line 53) | AtomicSentence AtomicSentence.copy() method getArgs (line 58) | public List getArgs() method accept (line 63) | public Object accept(FOLVisitor v, Object arg) method copy (line 68) | public FOLNode copy() method copySentence (line 78) | public Sentence copySentence() method Equals (line 85) | public override bool Equals(Object o) method GetHashCode (line 101) | public override int GetHashCode() method ToString (line 115) | public override String ToString() FILE: aima-csharp/logic/fol/parsing/ast/QuantifiedSentence.cs class QuantifiedSentence (line 14) | public class QuantifiedSentence : Sentence method QuantifiedSentence (line 23) | public QuantifiedSentence(String quantifier, List variables, method getQuantifier (line 33) | public String getQuantifier() method getVariables (line 38) | public List getVariables() method getQuantified (line 43) | public Sentence getQuantified() method getSymbolicName (line 50) | public String getSymbolicName() method isCompound (line 55) | public bool isCompound() method getArgs (line 60) | public List getArgs() method accept (line 65) | public Object accept(FOLVisitor v, Object arg) method copy (line 70) | public FOLNode copy() method copySentence (line 80) | public Sentence copySentence() method Equals (line 87) | public override bool Equals(Object o) method GetHashCode (line 104) | public override int GetHashCode() method ToString (line 119) | public override String ToString() FILE: aima-csharp/logic/fol/parsing/ast/Sentence.cs type Sentence (line 9) | public interface Sentence : FOLNode method copySentence (line 11) | Sentence copySentence(); FILE: aima-csharp/logic/fol/parsing/ast/Term.cs type Term (line 9) | public interface Term : FOLNode method getArgs (line 11) | List getArgs(); method copy (line 13) | Term copy(); FILE: aima-csharp/logic/fol/parsing/ast/TermEquality.cs class TermEquality (line 14) | public class TermEquality : AtomicSentence method getEqualitySynbol (line 21) | public static String getEqualitySynbol() method TermEquality (line 26) | public TermEquality(Term term1, Term term2) method getTerm1 (line 34) | public Term getTerm1() method getTerm2 (line 39) | public Term getTerm2() method getSymbolicName (line 46) | public String getSymbolicName() method isCompound (line 51) | public bool isCompound() method getArgs (line 56) | List AtomicSentence.getArgs() method copy (line 61) | AtomicSentence AtomicSentence.copy() method getArgs (line 66) | public List getArgs() method accept (line 71) | public Object accept(FOLVisitor v, Object arg) method copy (line 76) | public FOLNode copy() method copySentence (line 81) | public Sentence copySentence() method Equals (line 88) | public override bool Equals(Object o) method GetHashCode (line 104) | public override int GetHashCode() method ToString (line 116) | public override String ToString() FILE: aima-csharp/logic/fol/parsing/ast/Variable.cs class Variable (line 11) | public class Variable : Term method Variable (line 17) | public Variable(String s) method Variable (line 22) | public Variable(String s, int idx) method getValue (line 28) | public String getValue() method getSymbolicName (line 35) | public String getSymbolicName() method isCompound (line 40) | public bool isCompound() method getArgs (line 45) | List FOLNode.getArgs() method getArgs (line 50) | public List getArgs() method accept (line 57) | public Object accept(FOLVisitor v, Object arg) method copy (line 62) | FOLNode FOLNode.copy() method copy (line 67) | public Term copy() method getIndexical (line 74) | public int getIndexical() method setIndexical (line 79) | public void setIndexical(int idx) method getIndexedValue (line 85) | public String getIndexedValue() method Equals (line 90) | public override bool Equals(Object o) method GetHashCode (line 107) | public override int GetHashCode() method ToString (line 119) | public override String ToString() FILE: aima-csharp/logic/propositional/agent/KBAgent.cs class KBAgent (line 32) | public abstract class KBAgent : AbstractAgent method KBAgent (line 39) | public KBAgent(KnowledgeBase KB) method execute (line 45) | public override Action execute(Percept percept) method makePerceptSentence (line 72) | public abstract Sentence makePerceptSentence(Percept percept, int t); method makeActionQuery (line 84) | public abstract Sentence makeActionQuery(int t); method makeActionSentence (line 95) | public abstract Sentence makeActionSentence(Action action, int t); method ask (line 109) | public abstract Action ask(KnowledgeBase KB, Sentence actionQuery); FILE: aima-csharp/logic/propositional/kb/KnowledgeBase.cs class KnowledgeBase (line 6) | public class KnowledgeBase method tell (line 8) | internal void tell(Sentence sentence) FILE: aima-csharp/logic/propositional/parsing/PLVisitor.cs type PLVisitor (line 25) | public interface PLVisitor method visitPropositionSymbol (line 36) | R visitPropositionSymbol(PropositionSymbol sentence, A arg); method visitUnarySentence (line 47) | R visitUnarySentence(ComplexSentence sentence, A arg); method visitBinarySentence (line 58) | R visitBinarySentence(ComplexSentence sentence, A arg); FILE: aima-csharp/logic/propositional/parsing/ast/AtomicSentence.cs class AtomicSentence (line 14) | public abstract class AtomicSentence : Sentence FILE: aima-csharp/logic/propositional/parsing/ast/ComplexSentence.cs class ComplexSentence (line 15) | public class ComplexSentence : Sentence method ComplexSentence (line 33) | public ComplexSentence(Connective connective, params Sentence[] senten... method ComplexSentence (line 56) | public ComplexSentence(Sentence sentenceL, Connective binaryConnective... method getConnective (line 61) | public override Connective getConnective() method getNumberSimplerSentences (line 66) | public override int getNumberSimplerSentences() method getSimplerSentence (line 71) | public override Sentence getSimplerSentence(int offset) method Equals (line 76) | public override bool Equals(Object o) method GetHashCode (line 113) | public override int GetHashCode() method ToString (line 127) | public override String ToString() method assertLegalArguments (line 151) | private void assertLegalArguments(Connective connective, params Senten... FILE: aima-csharp/logic/propositional/parsing/ast/Connective.cs class Connective (line 29) | public class Connective method getSymbol (line 53) | public String getSymbol() method getPrecedence (line 62) | public int getPrecedence() method toString (line 67) | public String toString() method isConnective (line 80) | public static bool isConnective(String symbol) method get (line 115) | public static Connective get(String symbol) method isConnectiveIdentifierStart (line 150) | public static bool isConnectiveIdentifierStart(char ch) method isConnectiveIdentifierPart (line 163) | public static bool isConnectiveIdentifierPart(char ch) method Connective (line 177) | private Connective(String symbol, int precedence) FILE: aima-csharp/logic/propositional/parsing/ast/PropositionSymbol.cs class PropositionSymbol (line 25) | public class PropositionSymbol : AtomicSentence method PropositionSymbol (line 40) | public PropositionSymbol(String symbol) method isAlwaysTrue (line 67) | public bool isAlwaysTrue() method isAlwaysTrueSymbol (line 77) | public static bool isAlwaysTrueSymbol(String symbol) method isAlwaysFalse (line 87) | public bool isAlwaysFalse() method isAlwaysFalseSymbol (line 97) | public static bool isAlwaysFalseSymbol(String symbol) method isPropositionSymbol (line 110) | public static bool isPropositionSymbol(String symbol) method isPropositionSymbolIdentifierStart (line 125) | public static bool isPropositionSymbolIdentifierStart(char ch) method isPropositionSymbolIdentifierPart (line 139) | public static bool isPropositionSymbolIdentifierPart(char ch) method getSymbol (line 149) | public String getSymbol() method Equals (line 154) | public override bool Equals(Object o) method GetHashCode (line 171) | public override int GetHashCode() method ToString (line 176) | public override String ToString() FILE: aima-csharp/logic/propositional/parsing/ast/Sentence.cs class Sentence (line 23) | public abstract class Sentence : ParseTreeNode method getConnective (line 30) | public virtual Connective getConnective() method getNumberSimplerSentences (line 40) | public virtual int getNumberSimplerSentences() method getSimplerSentence (line 54) | public virtual Sentence getSimplerSentence(int offset) method isNotSentence (line 64) | public bool isNotSentence() method isAndSentence (line 74) | public bool isAndSentence() method isOrSentence (line 84) | public bool isOrSentence() method isImplicationSentence (line 94) | public bool isImplicationSentence() method isBiconditionalSentence (line 104) | public bool isBiconditionalSentence() method isPropositionSymbol (line 113) | public bool isPropositionSymbol() method isUnarySentence (line 123) | public bool isUnarySentence() method isBinarySentence (line 133) | public bool isBinarySentence() method accept (line 148) | public R accept(PLVisitor plv, A arg) method bracketSentenceIfNecessary (line 183) | public String bracketSentenceIfNecessary(Connective parentConnective, method newDisjunction (line 210) | public static Sentence newDisjunction(params Sentence[] disjuncts) method newDisjunction (line 221) | public static Sentence newDisjunction(List disjuncts) method newConjunction (line 240) | public static Sentence newConjunction(params Sentence[] conjuncts) method newConjunction (line 251) | public static Sentence newConjunction(List conjuncts) method hasConnective (line 266) | protected bool hasConnective(Connective connective) FILE: aima-csharp/search/Local/FitnessFunction.cs type FitnessFunction (line 19) | public interface FitnessFunction method apply (line 27) | double apply(Individual individual); FILE: aima-csharp/search/Local/Individual.cs class Individual (line 19) | public class Individual method Individual (line 30) | public Individual(List representation) method getRepresentation (line 39) | public List getRepresentation() method length (line 48) | public int length() method incDescendants (line 57) | public void incDescendants() method getDescendants (line 63) | public int getDescendants() method toString (line 68) | public String toString() FILE: aima-csharp/search/Local/Scheduler.cs class Scheduler (line 10) | public class Scheduler method Scheduler (line 15) | public Scheduler(int k, double lam, int limit) method Scheduler (line 22) | public Scheduler() method getTemp (line 29) | public double getTemp(int t) FILE: aima-csharp/search/framework/CutOffIndicatorAction.cs class CutOffIndicatorAction (line 13) | public class CutOffIndicatorAction : DynamicAction method isNoOp (line 18) | public bool isNoOp() method CutOffIndicatorAction (line 24) | private CutOffIndicatorAction(): base("CutOff") FILE: aima-csharp/search/framework/EvaluationFunction.cs type EvaluationFunction (line 15) | public interface EvaluationFunction method f (line 17) | double f(Node n); FILE: aima-csharp/search/framework/HeuristicFunction.cs type HeuristicFunction (line 19) | public interface HeuristicFunction method h (line 21) | double h(Object state); FILE: aima-csharp/search/framework/Metrics.cs class Metrics (line 12) | public class Metrics method Metrics (line 16) | public Metrics() method set (line 21) | public void set(String name, int i) method set (line 26) | public void set(String name, double d) method incrementInt (line 31) | public void incrementInt(String name) method set (line 36) | public void set(String name, long l) method getInt (line 41) | public int getInt(String name) method getDouble (line 46) | public double getDouble(String name) method getLong (line 51) | public long getLong(String name) method get (line 56) | public String get(String name) method keySet (line 61) | public HashSet keySet() method toString (line 66) | public String toString() FILE: aima-csharp/search/framework/Node.cs class Node (line 21) | public class Node method Node (line 46) | public Node(object state) method Node (line 63) | public Node(object state, Node parent, Action action, double stepCost)... method GetPathFromRoot (line 82) | public List GetPathFromRoot() method IsRoot (line 105) | public bool IsRoot() method ToString (line 110) | public override string ToString() FILE: aima-csharp/search/framework/NodeExpander.cs class NodeExpander (line 15) | public class NodeExpander method createRootNode (line 19) | public Node createRootNode(System.Object state) method createNode (line 29) | public Node createNode(System.Object state, Node parent, Action action... method expand (line 46) | public List expand(Node node, Problem problem) type NodeListener (line 73) | public interface NodeListener method onNodeExpanded (line 75) | void onNodeExpanded(Node node); method addNodeListener (line 91) | public void addNodeListener(NodeListener listener) method resetCounter (line 99) | public void resetCounter() method getNumOfExpandCalls (line 108) | public int getNumOfExpandCalls() FILE: aima-csharp/search/framework/PathCostFunction.cs class PathCostFunction (line 13) | public class PathCostFunction method PathCostFunction (line 15) | public PathCostFunction() method g (line 26) | public double g(Node n) FILE: aima-csharp/search/framework/PerceptToStateFunction.cs type PerceptToStateFunction (line 15) | public interface PerceptToStateFunction method getState (line 24) | Object getState(Percept p); FILE: aima-csharp/search/framework/Search.cs type Search (line 12) | public interface Search method search (line 26) | List search(Problem p); method getMetrics (line 33) | Metrics getMetrics(); FILE: aima-csharp/search/framework/SearchAgent.cs class SearchAgent (line 12) | public class SearchAgent : AbstractAgent method SearchAgent (line 20) | public SearchAgent(Problem p, Search search) method execute (line 27) | public override Action execute(Percept p) method isDone (line 40) | public bool isDone() method getActions (line 45) | public List getActions() method getInstrumentation (line 50) | public Dictionary getInstrumentation() FILE: aima-csharp/search/framework/SearchForActions.cs type SearchForActions (line 15) | public interface SearchForActions : Search method getNodeExpander (line 17) | NodeExpander getNodeExpander(); FILE: aima-csharp/search/framework/SearchUtils.cs class SearchUtils (line 15) | public class SearchUtils method getSequenceOfActions (line 21) | public static List getSequenceOfActions(Node node) method failure (line 46) | public static List failure() method isFailure (line 52) | public static bool isFailure(List actions) method isGoalState (line 72) | public static bool isGoalState(Problem p, Node n) FILE: aima-csharp/search/framework/SimpleProblemSolvingAgent.cs class SimpleProblemSolvingAgent (line 39) | public abstract class SimpleProblemSolvingAgent : AbstractAgent method SimpleProblemSolvingAgent (line 56) | public SimpleProblemSolvingAgent() method SimpleProblemSolvingAgent (line 68) | public SimpleProblemSolvingAgent(int maxGoalsToFormulate) method execute (line 75) | public override Action execute(Percept p) method updateState (line 126) | protected abstract State updateState(Percept p); method formulateGoal (line 128) | protected abstract System.Object formulateGoal(); method formulateProblem (line 130) | protected abstract Problem formulateProblem(System.Object goal); method search (line 132) | protected abstract List search(Problem problem); method notifyViewOfMetrics (line 134) | protected abstract void notifyViewOfMetrics(); FILE: aima-csharp/search/framework/SolutionChecker.cs type SolutionChecker (line 19) | public interface SolutionChecker : GoalTest method isAcceptableSolution (line 33) | bool isAcceptableSolution(List actions, System.Object goal); FILE: aima-csharp/search/framework/problem/ActionsFunction.cs type ActionsFunction (line 15) | public interface ActionsFunction method actions (line 25) | HashSet actions(System.Object s); FILE: aima-csharp/search/framework/problem/BidirectionalProblem.cs type BidirectionalProblem (line 12) | public interface BidirectionalProblem method getOriginalProblem (line 14) | Problem getOriginalProblem(); method getReverseProblem (line 16) | Problem getReverseProblem(); FILE: aima-csharp/search/framework/problem/DefaultGoalTest.cs class DefaultGoalTest (line 11) | public class DefaultGoalTest : GoalTest method DefaultGoalTest (line 16) | public DefaultGoalTest(Object goalState) method isGoalState (line 21) | public bool isGoalState(Object state) FILE: aima-csharp/search/framework/problem/DefaultStepCostFunction.cs class DefaultStepCostFunction (line 11) | public class DefaultStepCostFunction : StepCostFunction method c (line 15) | public double c(System.Object stateFrom, Action action, System.Object ... FILE: aima-csharp/search/framework/problem/GoalTest.cs type GoalTest (line 13) | public interface GoalTest method isGoalState (line 20) | bool isGoalState(System.Object state); FILE: aima-csharp/search/framework/problem/Problem.cs class Problem (line 31) | public class Problem method Problem (line 59) | public Problem(Object initialState, ActionsFunction actionsFunction, method Problem (line 87) | public Problem(Object initialState, ActionsFunction actionsFunction, method getInitialState (line 103) | public Object getInitialState() method isGoalState (line 113) | public bool isGoalState(Object state) method getGoalTest (line 123) | public GoalTest getGoalTest() method getActionsFunction (line 133) | public ActionsFunction getActionsFunction() method getResultFunction (line 143) | public ResultFunction getResultFunction() method getStepCostFunction (line 153) | public StepCostFunction getStepCostFunction() method Problem (line 160) | protected Problem() FILE: aima-csharp/search/framework/problem/ResultFunction.cs type ResultFunction (line 17) | public interface ResultFunction method result (line 28) | System.Object result(System.Object s, Action a); FILE: aima-csharp/search/framework/problem/StepCostFunction.cs type StepCostFunction (line 14) | public interface StepCostFunction method c (line 28) | double c(System.Object s, Action a, System.Object sDelta); FILE: aima-csharp/search/framework/qsearch/GraphSearch.cs class GraphSearch (line 40) | public class GraphSearch : QueueSearch method GraphSearch (line 44) | public GraphSearch() : this(new NodeExpander()) method GraphSearch (line 49) | public GraphSearch(NodeExpander nodeExpander): base(nodeExpander) method search (line 58) | public override List search(Problem problem, Queue front... method addToFrontier (line 70) | protected override void addToFrontier(Node node) method removeFromFrontier (line 87) | protected override Node removeFromFrontier() method isFrontierEmpty (line 100) | protected override bool isFrontierEmpty() FILE: aima-csharp/search/framework/qsearch/GraphSearchBFS.cs class GraphSearchBFS (line 37) | public class GraphSearchBFS : QueueSearch method GraphSearchBFS (line 42) | public GraphSearchBFS() : this(new NodeExpander()) method GraphSearchBFS (line 47) | public GraphSearchBFS(NodeExpander nodeExpander) : base(nodeExpander) method search (line 56) | public override List search(Problem problem, Queue front... method addToFrontier (line 68) | protected override void addToFrontier(Node node) method removeFromFrontier (line 84) | protected override Node removeFromFrontier() method isFrontierEmpty (line 96) | protected override bool isFrontierEmpty() FILE: aima-csharp/search/framework/qsearch/QueueSearch.cs class QueueSearch (line 18) | public abstract class QueueSearch method QueueSearch (line 30) | protected QueueSearch(NodeExpander nodeExpander) method getNodeExpander (line 35) | public virtual NodeExpander getNodeExpander() method search (line 57) | public virtual List search(Problem problem, Queue frontier) method addToFrontier (line 106) | protected abstract void addToFrontier(Node node); method removeFromFrontier (line 114) | protected abstract Node removeFromFrontier(); method isFrontierEmpty (line 120) | protected abstract bool isFrontierEmpty(); method setEarlyGoalCheck (line 128) | public void setEarlyGoalCheck(bool state) method getMetrics (line 136) | public virtual Metrics getMetrics() method clearInstrumentation (line 145) | public void clearInstrumentation() method updateMetrics (line 154) | protected void updateMetrics(int queueSize) method getSolution (line 164) | private List getSolution(Node node) FILE: aima-csharp/search/framework/qsearch/TreeSearch.cs class TreeSearch (line 32) | public class TreeSearch : QueueSearch method TreeSearch (line 34) | public TreeSearch(): this(new NodeExpander()) method TreeSearch (line 39) | public TreeSearch(NodeExpander nodeExpander): base(nodeExpander) method addToFrontier (line 47) | protected override void addToFrontier(Node node) method removeFromFrontier (line 58) | protected override Node removeFromFrontier() method isFrontierEmpty (line 68) | protected override bool isFrontierEmpty() FILE: aima-csharp/search/online/LRTAStarAgent.cs class LRTAStarAgent (line 47) | public class LRTAStarAgent : AbstractAgent method LRTAStarAgent (line 74) | public LRTAStarAgent(OnlineSearchProblem problem, method getProblem (line 87) | public OnlineSearchProblem getProblem() method setProblem (line 98) | public void setProblem(OnlineSearchProblem problem) method getPerceptToStateFunction (line 109) | public PerceptToStateFunction getPerceptToStateFunction() method setPerceptToStateFunction (line 121) | public void setPerceptToStateFunction(PerceptToStateFunction ptsFunction) method getHeuristicFunction (line 129) | public HeuristicFunction getHeuristicFunction() method setHeuristicFunction (line 142) | public void setHeuristicFunction(HeuristicFunction hf) method execute (line 149) | public override Action execute(Percept psDelta) method init (line 214) | private void init() method goalTest (line 223) | private bool goalTest(object state) method lrtaCost (line 229) | private double lrtaCost(object s, Action action, object sDelta) method actions (line 241) | private HashSet actions(object state) FILE: aima-csharp/search/online/OnlineDFSAgent.cs class OnlineDFSAgent (line 42) | public class OnlineDFSAgent : AbstractAgent method OnlineDFSAgent (line 66) | public OnlineDFSAgent(OnlineSearchProblem problem, method getProblem (line 78) | public OnlineSearchProblem getProblem() method setProblem (line 89) | public void setProblem(OnlineSearchProblem problem) method getPerceptToStateFunction (line 100) | public PerceptToStateFunction getPerceptToStateFunction() method setPerceptToStateFunction (line 112) | public void setPerceptToStateFunction(PerceptToStateFunction ptsFunction) method execute (line 119) | public override Action execute(Percept psDelta) method init (line 204) | private void init() method goalTest (line 214) | private bool goalTest(object state) method actions (line 219) | private List actions(object state) FILE: aima-csharp/search/online/OnlineSearchProblem.cs class OnlineSearchProblem (line 25) | public class OnlineSearchProblem method OnlineSearchProblem (line 43) | public OnlineSearchProblem(ActionsFunction actionsFunction, method OnlineSearchProblem (line 64) | public OnlineSearchProblem(ActionsFunction actionsFunction, method getActionsFunction (line 77) | public ActionsFunction getActionsFunction() method isGoalState (line 90) | public bool isGoalState(Object state) method getStepCostFunction (line 100) | public StepCostFunction getStepCostFunction() method OnlineSearchProblem (line 107) | protected OnlineSearchProblem() FILE: aima-csharp/util/ArrayIterator.cs class ArrayIterator (line 12) | public class ArrayIterator : IEnumerator method ArrayIterator (line 33) | public ArrayIterator(T[] values) method hasNext (line 39) | public bool hasNext() method next (line 44) | public T next() method remove (line 49) | public void remove() method MoveNext (line 54) | public bool MoveNext() method Dispose (line 60) | public void Dispose() method Reset (line 65) | public void Reset() FILE: aima-csharp/util/CSharpRandomizer.cs class CSharpRandomizer (line 13) | public class CSharpRandomizer : Randomizer method CSharpRandomizer (line 18) | public CSharpRandomizer(): this(_r) method CSharpRandomizer (line 23) | public CSharpRandomizer(Random r) method nextDouble (line 29) | public double nextDouble() FILE: aima-csharp/util/DisjointSets.cs class DisjointSets (line 33) | public class DisjointSets method DisjointSets (line 41) | public DisjointSets() method DisjointSets (line 53) | public DisjointSets(ICollection initialElements) method DisjointSets (line 68) | public DisjointSets(params E[] elements) method makeSet (line 86) | public void makeSet(E element) method union (line 113) | public void union(E element1, E element2) method find (line 160) | public LinkedHashSet find(E element) method getElementToDisjointSet (line 174) | public Dictionary> getElementToDisjointSet() method getDisjointSets (line 192) | public HashSet> getDisjointSets() method numberDisjointSets (line 211) | public int numberDisjointSets() method clear (line 219) | public void clear() class IdentityHashSet (line 231) | private class IdentityHashSet : HashSet { method hashCode (line 234) | public int hashCode() method equals (line 239) | public bool equals(Object o) FILE: aima-csharp/util/FrequencyCounter.cs class FrequencyCounter (line 13) | public class FrequencyCounter method FrequencyCounter (line 21) | public FrequencyCounter() method getCount (line 37) | public int getCount(T key) method incrementFor (line 54) | public void incrementFor(T key) method probabilityOf (line 79) | public Double probabilityOf(T key) method getStates (line 101) | public HashSet getStates() method clear (line 109) | public void clear() method toString (line 115) | public String toString() FILE: aima-csharp/util/Interval.cs class Interval (line 15) | public class Interval method Interval (line 22) | public Interval() method Interval (line 35) | public Interval(IComparable lower, IComparable upper) method Interval (line 55) | public Interval(IComparable lower, bool lowerInclusive, method isInInterval (line 71) | public bool isInInterval(C o) method isLowerInclusive (line 108) | public bool isLowerInclusive() method isLowerExclusive (line 118) | public bool isLowerExclusive() method setLowerInclusive (line 130) | public void setLowerInclusive(bool inclusive) method setLowerExclusive (line 142) | public void setLowerExclusive(bool exclusive) method getLower (line 152) | public IComparable getLower() method setLower (line 163) | public void setLower(IComparable lower) method isUpperInclusive (line 173) | public bool isUpperInclusive() method isUpperExclusive (line 183) | public bool isUpperExclusive() method setUpperInclusive (line 195) | public void setUpperInclusive(bool inclusive) method setUpperExclusive (line 207) | public void setUpperExclusive(bool exclusive) method getUpper (line 217) | public IComparable getUpper() method setUpper (line 228) | public void setUpper(IComparable upper) method toString (line 233) | public System.String toString() FILE: aima-csharp/util/LUDecomposition.cs class LUDecomposition (line 19) | public class LUDecomposition method LUDecomposition (line 62) | public LUDecomposition(Matrix A) method isNonsingular (line 181) | public bool isNonsingular() method getL (line 196) | public Matrix getL() method getU (line 226) | public Matrix getU() method getPivot (line 252) | public int[] getPivot() method getDoublePivot (line 267) | public double[] getDoublePivot() method det (line 284) | public double det() method solve (line 309) | public Matrix solve(Matrix B) FILE: aima-csharp/util/LabeledGraph.cs class LabeledGraph (line 15) | public class LabeledGraph method LabeledGraph (line 26) | public LabeledGraph() method addVertex (line 38) | public void addVertex(VertexLabelType v) method set (line 55) | public void set(VertexLabelType from, VertexLabelType to, EdgeLabelTyp... method checkForNewVertex (line 63) | private Dictionary checkForNewVertex( method remove (line 84) | public void remove(VertexLabelType from, VertexLabelType to) method get (line 103) | public EdgeLabelType get(VertexLabelType from, VertexLabelType to) method getSuccessors (line 113) | public List getSuccessors(VertexLabelType v) method getVertexLabels (line 123) | public List getVertexLabels() method isVertexLabel (line 129) | public bool isVertexLabel(VertexLabelType v) method clear (line 135) | public void clear() FILE: aima-csharp/util/LinkedHashSet.cs class LinkedHashSet (line 7) | public class LinkedHashSet : ISet { method LinkedHashSet (line 12) | public LinkedHashSet(int initialCapacity) { method LinkedHashSet (line 17) | public LinkedHashSet() { method LinkedHashSet (line 22) | public LinkedHashSet(IEnumerable e) : this() { method LinkedHashSet (line 26) | public LinkedHashSet(int initialCapacity, IEnumerable e) : this(ini... method addEnumerable (line 30) | private void addEnumerable(IEnumerable e) { method Add (line 38) | public bool Add(T item) { method ExceptWith (line 47) | public void ExceptWith(IEnumerable other) { method IntersectWith (line 56) | public void IntersectWith(IEnumerable other) { method IsProperSubsetOf (line 69) | public bool IsProperSubsetOf(IEnumerable other) { method IsProperSupersetOf (line 85) | public bool IsProperSupersetOf(IEnumerable other) { method IsSubsetOf (line 105) | public bool IsSubsetOf(IEnumerable other) { method IsSupersetOf (line 117) | public bool IsSupersetOf(IEnumerable other) { method Overlaps (line 129) | public bool Overlaps(IEnumerable other) { method SetEquals (line 141) | public bool SetEquals(IEnumerable other) { method SymmetricExceptWith (line 152) | public void SymmetricExceptWith(IEnumerable other) { method UnionWith (line 170) | public void UnionWith(IEnumerable other) { method Add (line 193) | void ICollection.Add(T item) { method Clear (line 197) | public void Clear() { method Contains (line 202) | public bool Contains(T item) { method CopyTo (line 206) | public void CopyTo(T[] array, int arrayIndex) { method Remove (line 210) | public bool Remove(T item) { method GetEnumerator (line 222) | public IEnumerator GetEnumerator() { method GetEnumerator (line 228) | IEnumerator IEnumerable.GetEnumerator() { FILE: aima-csharp/util/Matrix.cs class Matrix (line 58) | public class Matrix method createDiagonalMatrix (line 86) | public static Matrix createDiagonalMatrix(List values) method Matrix (line 105) | public Matrix(int m, int n) method Matrix (line 127) | public Matrix(int m, int n, double s) method Matrix (line 152) | public Matrix(double[][] A) method Matrix (line 178) | public Matrix(double[][] A, int m, int n) method Matrix (line 197) | public Matrix(double[] vals, int m) method constructWithCopy (line 229) | public static Matrix constructWithCopy(double[][] A) method copy (line 254) | public Matrix copy() method clone (line 272) | public Object clone() method getArray (line 283) | public double[][] getArray() method getArrayCopy (line 294) | public double[][] getArrayCopy() method getColumnPackedCopy (line 314) | public double[] getColumnPackedCopy() method getRowPackedCopy (line 333) | public double[] getRowPackedCopy() method getRowDimension (line 352) | public int getRowDimension() method getColumnDimension (line 363) | public int getColumnDimension() method get (line 379) | public double get(int i, int j) method getMatrix (line 400) | public Matrix getMatrix(int i0, int i1, int j0, int j1) method getMatrix (line 427) | public Matrix getMatrix(int[] r, int[] c) method getMatrix (line 457) | public Matrix getMatrix(int i0, int i1, int[] c) method getMatrix (line 487) | public Matrix getMatrix(int[] r, int j0, int j1) method set (line 514) | public void set(int i, int j, double s) method setMatrix (line 536) | public void setMatrix(int i0, int i1, int j0, int j1, Matrix X) method setMatrix (line 560) | public void setMatrix(int[] r, int[] c, Matrix X) method setMatrix (line 586) | public void setMatrix(int[] r, int j0, int j1, Matrix X) method setMatrix (line 613) | public void setMatrix(int i0, int i1, int[] c, Matrix X) method transpose (line 631) | public Matrix transpose() method norm1 (line 651) | public double norm1() method normInf (line 681) | public double normInf() method uminus (line 717) | public Matrix uminus() method plus (line 739) | public Matrix plus(Matrix B) method plusEquals (line 762) | public Matrix plusEquals(Matrix B) method minus (line 783) | public Matrix minus(Matrix B) method minusEquals (line 806) | public Matrix minusEquals(Matrix B) method arrayTimes (line 827) | public Matrix arrayTimes(Matrix B) method arrayTimesEquals (line 850) | public Matrix arrayTimesEquals(Matrix B) method arrayRightDivide (line 871) | public Matrix arrayRightDivide(Matrix B) method arrayRightDivideEquals (line 894) | public Matrix arrayRightDivideEquals(Matrix B) method arrayLeftDivide (line 915) | public Matrix arrayLeftDivide(Matrix B) method arrayLeftDivideEquals (line 938) | public Matrix arrayLeftDivideEquals(Matrix B) method times (line 959) | public Matrix times(double s) method timesEquals (line 981) | public Matrix timesEquals(double s) method times (line 1003) | public Matrix times(Matrix B) method lu (line 1040) | public LUDecomposition lu() method solve (line 1089) | public Matrix solve(Matrix B) method solveTranspose (line 1103) | public Matrix solveTranspose(Matrix B) method inverse (line 1114) | public Matrix inverse() method det (line 1125) | public double det() method trace (line 1153) | public double trace() method random (line 1173) | public static Matrix random(int m, int n) method identity (line 1198) | public static Matrix identity(int m, int n) method toString (line 1212) | public String toString() method checkMatrixDimensions (line 1235) | private void checkMatrixDimensions(Matrix B) FILE: aima-csharp/util/MixedRadixNumber.cs class MixedRadixNumber (line 14) | public class MixedRadixNumber method MixedRadixNumber (line 35) | public MixedRadixNumber(long value, int[] radices) method MixedRadixNumber (line 53) | public MixedRadixNumber(long value, List radices) method MixedRadixNumber (line 73) | public MixedRadixNumber(int[] radixValues, int[] radices): this(0, rad... method getCurrentValueFor (line 89) | public long getCurrentValueFor(int[] radixValues) method setCurrentValueFor (line 121) | public void setCurrentValueFor(int[] radixValues) method getMaxAllowedValue (line 136) | public long getMaxAllowedValue() method increment (line 148) | public bool increment() method decrement (line 165) | public bool decrement() method getCurrentNumeralValue (line 183) | public int getCurrentNumeralValue(int atPosition) method intValue (line 212) | public int intValue() method longValue (line 217) | public long longValue() method floatValue (line 222) | public float floatValue() method doubleValue (line 227) | public double doubleValue() method toString (line 234) | public String toString() method calculateMaxValue (line 259) | private void calculateMaxValue() FILE: aima-csharp/util/MockRandomizer.cs class MockRandomizer (line 12) | public class MockRandomizer : Randomizer method MockRandomizer (line 22) | public MockRandomizer(double[] values) method nextDouble (line 30) | public double nextDouble() FILE: aima-csharp/util/Pair.cs class Pair (line 11) | public class Pair method Pair (line 25) | public Pair(X a, Y b) method getFirst (line 36) | public X getFirst() method getSecond (line 46) | public Y getSecond() method Equals (line 52) | public override bool Equals(Object o) method hashCode (line 62) | public int hashCode() method ToString (line 67) | public override String ToString() FILE: aima-csharp/util/Point2D.cs class Point2D (line 13) | public class Point2D method Point2D (line 18) | public Point2D(double x, double y) method getX (line 30) | public double getX() method getY (line 41) | public double getY() method distance (line 51) | public double distance(Point2D pt) FILE: aima-csharp/util/Randomizer.cs type Randomizer (line 7) | public interface Randomizer method nextDouble (line 14) | double nextDouble(); FILE: aima-csharp/util/SetOps.cs class SetOps (line 19) | public class SetOps method union (line 29) | public static List union(List s1, List s2) method intersection (line 48) | public static List intersection(List s1, List s2) method difference (line 68) | public static List difference(List s1, List s2) FILE: aima-csharp/util/Table.cs class Table (line 11) | public class Table // where ... method Table (line 17) | public Table(List rowHeaders, method set (line 30) | public void set(RowHeaderType r, ColumnHeaderType c, ValueType v) method get (line 42) | public ValueType get(RowHeaderType r, ColumnHeaderType c) method ToString (line 57) | public override System.String ToString() class Row (line 72) | class Row method Row (line 76) | public Row() method cells (line 82) | public Dictionary cells() class Cell (line 89) | class Cell method Cell (line 93) | public Cell() method Cell (line 98) | public Cell(ValueHeaderType value) method set (line 103) | public void set(ValueHeaderType value) method value (line 108) | public ValueHeaderType value() FILE: aima-csharp/util/Triplet.cs class Triplet (line 11) | public class Triplet method Triplet (line 29) | public Triplet(X x, Y y, Z z) method getSecond (line 41) | public Y getSecond() method getThird (line 51) | public Z getThird() method Equals (line 56) | public override bool Equals(Object o) method hashCode (line 67) | public int hashCode() method toString (line 72) | public String toString() FILE: aima-csharp/util/TwoKeyHashMap.cs class TwoKeyHashMap (line 20) | public class TwoKeyHashMap : Dictionary, V> method put (line 39) | public void put(K1 key1, K2 key2, V value) method get (line 64) | public V get(K1 key1, K2 key2) method containsKey (line 89) | public bool containsKey(K1 key1, K2 key2) method removeKey (line 110) | public V removeKey(K1 key1, K2 key2, V value) FILE: aima-csharp/util/Util.cs class Util (line 13) | public class Util method first (line 28) | public static T first(List l) method rest (line 41) | public static List rest(List l) method createSet (line 54) | public static HashSet createSet(params T[] values) method randombool (line 67) | public static bool randombool() method selectRandomlyFromList (line 83) | public static T selectRandomlyFromList(List l) method normalize (line 89) | public static double[] normalize(double[] probDist) method normalize (line 109) | public static List normalize(List values) method min (line 125) | public static int min(int i, int j) method max (line 130) | public static int max(int i, int j) method max (line 135) | public static int max(int i, int j, int k) method min (line 140) | public static int min(int i, int j, int k) method mode (line 145) | public static T mode(List l) method yesno (line 171) | public static String[] yesno() method log2 (line 176) | public static double log2(double d) method information (line 181) | public static double information(double[] probabilities) method removeFrom (line 191) | public static List removeFrom(List list, T member) method sumOfSquares (line 198) | public static double sumOfSquares(List list) method ntimes (line 208) | public static String ntimes(String s, int n) method checkForNanOrInfinity (line 218) | public static void checkForNanOrInfinity(double d) method randomNumberBetween (line 230) | public static int randomNumberBetween(int i, int j) method calculateMean (line 236) | public static double calculateMean(List lst) method calculateStDev (line 246) | public static double calculateStDev(List values, double mean) method normalizeFromMeanAndStdev (line 266) | public static List normalizeFromMeanAndStdev(List values, method generateRandomDoubleBetween (line 277) | public static double generateRandomDoubleBetween(double lowerLimit, FILE: aima-csharp/util/Vector.cs class Vector (line 10) | public class Vector : Matrix method Vector (line 21) | public Vector(int size) : base(size, 1) method Vector (line 32) | public Vector(List lst) : base(lst.Count, 1) method getValue (line 48) | public double getValue(int i) method setValue (line 61) | public void setValue(int index, double value) method copyVector (line 71) | public Vector copyVector() method size (line 86) | public int size() method minus (line 99) | public Vector minus(Vector v) method plus (line 118) | public Vector plus(Vector v) method indexHavingMaxValue (line 136) | public int indexHavingMaxValue() FILE: aima-csharp/util/XYLocation.cs class XYLocation (line 13) | public class XYLocation type Direction (line 15) | public enum Direction method XYLocation (line 31) | public XYLocation(int x, int y) method getXCoOrdinate (line 42) | public int getXCoOrdinate() method getYCoOrdinate (line 47) | public int getYCoOrdinate() method west (line 57) | public XYLocation west() method east (line 67) | public XYLocation east() method north (line 77) | public XYLocation north() method south (line 87) | public XYLocation south() method left (line 97) | public XYLocation left() method right (line 107) | public XYLocation right() method up (line 117) | public XYLocation up() method down (line 127) | public XYLocation down() method locationAt (line 139) | public XYLocation locationAt(Direction direction) method equals (line 163) | public bool equals(Object o) method toString (line 173) | public String toString() method hashCode (line 178) | public int hashCode()