コード例 #1
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 public bool IsTrue(Parser.Binding query)
 {
     foreach (Stream walkStream in this.Query(query))
     {
         return(true);
     }
     return(false);
 }
コード例 #2
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 public string[] GetValues(Parser.Binding binding)
 {
     foreach (Stream stream in this.Query(binding))
     {
         return(this.WalkTokens(binding.tokens, stream));
     }
     return(null);
 }
コード例 #3
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
        private IEnumerable <Stream> Query(Parser.Binding binding)
        {
            Relation relation = this.relations[binding.key];

            Pair[] vars   = TokenToPairs(binding.tokens);
            Stream stream = new Stream();

            foreach (Stream walkStream in relation.Query(vars).Walk(stream))
            {
                yield return(walkStream);
            }
        }
コード例 #4
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 private Parser.Binding GetBindingWithStream(string line, Stream stream)
 {
     Parser.Binding initial = Parser.GetBinding(line);
     Parser.Token[] tokens  = new Parser.Token[initial.tokens.Length];
     string[]       walked  = this.WalkTokens(initial.tokens, stream);
     for (int i = 0; i < tokens.Length; i++)
     {
         tokens[i]       = new Parser.Token();
         tokens[i].type  = walked[i] == null ? Parser.TokenType.Variable : Parser.TokenType.String;
         tokens[i].value = walked[i];
     }
     initial.tokens = tokens;
     return(initial);
 }
コード例 #5
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
        public void Claim(Parser.Binding binding)
        {
            Relation relation = this.GetRelation(binding.key);

            if (this.exclusions.ContainsKey(binding.key))
            {
                foreach (Exclusion exclusion in this.exclusions[binding.key])
                {
                    this.RemoveExclusions(exclusion, binding);
                }
            }

            Pair[] values = StateMachine.TokenToPairs(binding.tokens);
            relation.AddFact(values);
        }
コード例 #6
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
        private void RemoveExclusions(Exclusion exclusion, Parser.Binding binding)
        {
            // Remove any claims that would conflict with the input claim (given by binding)
            // via the given exclusion.
            Relation relation = this.GetRelation(exclusion.relationKey);

            Pair[] vars = new Pair[binding.tokens.Length];
            for (int i = 0; i < vars.Length; i++)
            {
                if (exclusion.boundVars[i])
                {
                    vars[i] = Pair.Value(binding.tokens[i].value);
                }
                else
                {
                    vars[i] = Pair.Fresh();
                }
            }
            if (!exclusion.rule.IsTrue(vars))
            {
                return;
            }

            List <string[]> varsToRemove = new List <string[]>();

            foreach (Stream stream in relation.Query(vars, false).Walk(new Stream()))
            {
                string[] v = new string[vars.Length];
                for (int i = 0; i < v.Length; i++)
                {
                    v[i] = stream.Walk(vars[i]).key;
                }
                varsToRemove.Add(v);
            }

            foreach (string[] factToRemove in varsToRemove)
            {
                relation.RemoveFact(factToRemove);
            }
        }
コード例 #7
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
        public void PerformAction(Parser.Binding binding)
        {
            Action action = this.GetAction(binding);

            Pair[] vars   = TokenToPairs(binding.tokens);
            Pair   outKey = Pair.Fresh();

            foreach (Stream stream in action.GetGoal(vars, outKey).Walk(new Stream()))
            {
                string        payloadKey = stream.Walk(outKey).key;
                Parser.Line[] payload    = this.actionPayloads[payloadKey];
                foreach (Parser.Line line in payload)
                {
                    if (line.type == Parser.LineType.Callback)
                    {
                        string name       = Regex.Match(line.content, "^([a-zA-Z0-9]+):").Groups[1].Value;
                        string restOfLine = Regex.Replace(line.content, "^[a-zA-Z0-9]+: ?", "");
                        restOfLine = restOfLine.Trim();
                        if (name == "claim")
                        {
                            Parser.Binding reified = this.GetBindingWithStream(restOfLine, stream);
                            this.Claim(reified);
                        }
                        else if (name == "action")
                        {
                            Parser.Binding reified = this.GetBindingWithStream(restOfLine, stream);
                            this.PerformAction(reified);
                        }
                        else
                        {
                            string[] variables = this.WalkTokens(line.binding.tokens, stream);
                            this.DoCallback(name, variables);
                        }
                    }
                }
                return;
            }
        }
コード例 #8
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 private Relation GetRelation(Parser.Binding binding)
 {
     return(this.GetRelation(binding.key));
 }
コード例 #9
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 public string[] GetValues(string query)
 {
     Parser.Binding binding = Parser.GetBinding(query);
     return(this.GetValues(binding));
 }
コード例 #10
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 public bool IsTrue(string query)
 {
     Parser.Binding binding = Parser.GetBinding(query);
     return(this.IsTrue(binding));
 }
コード例 #11
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 private IEnumerable <Stream> Query(string query)
 {
     Parser.Binding binding = Parser.GetBinding(query);
     return(this.Query(binding));
 }
コード例 #12
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 public void PerformAction(string query)
 {
     Parser.Binding binding = Parser.GetBinding(query);
     this.PerformAction(binding);
 }
コード例 #13
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 public void Claim(string claim)
 {
     Parser.Binding binding = Parser.GetBinding(claim);
     this.Claim(binding);
 }
コード例 #14
0
ファイル: StateMachine.cs プロジェクト: mkapolka/syllogisms
 private Action GetAction(Parser.Binding binding)
 {
     return(this.GetAction(binding.key));
 }