diff options
Diffstat (limited to '')
-rw-r--r-- | OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/BagofAnswers.cs | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/BagofAnswers.cs b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/BagofAnswers.cs index 88ffdb7..250ad59 100644 --- a/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/BagofAnswers.cs +++ b/OpenSim/Region/ScriptEngine/DotNetEngine/Compiler/YieldProlog/BagofAnswers.cs | |||
@@ -1,20 +1,20 @@ | |||
1 | /* | 1 | /* |
2 | * Copyright (C) 2007-2008, Jeff Thompson | 2 | * Copyright (C) 2007-2008, Jeff Thompson |
3 | * | 3 | * |
4 | * All rights reserved. | 4 | * All rights reserved. |
5 | * | 5 | * |
6 | * Redistribution and use in source and binary forms, with or without | 6 | * Redistribution and use in source and binary forms, with or without |
7 | * modification, are permitted provided that the following conditions are met: | 7 | * modification, are permitted provided that the following conditions are met: |
8 | * | 8 | * |
9 | * * Redistributions of source code must retain the above copyright | 9 | * * Redistributions of source code must retain the above copyright |
10 | * notice, this list of conditions and the following disclaimer. | 10 | * notice, this list of conditions and the following disclaimer. |
11 | * * Redistributions in binary form must reproduce the above copyright | 11 | * * Redistributions in binary form must reproduce the above copyright |
12 | * notice, this list of conditions and the following disclaimer in the | 12 | * notice, this list of conditions and the following disclaimer in the |
13 | * documentation and/or other materials provided with the distribution. | 13 | * documentation and/or other materials provided with the distribution. |
14 | * * Neither the name of the copyright holder nor the names of its contributors | 14 | * * Neither the name of the copyright holder nor the names of its contributors |
15 | * may be used to endorse or promote products derived from this software | 15 | * may be used to endorse or promote products derived from this software |
16 | * without specific prior written permission. | 16 | * without specific prior written permission. |
17 | * | 17 | * |
18 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 18 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
19 | * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 19 | * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
20 | * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | 20 | * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
@@ -47,7 +47,7 @@ namespace OpenSim.Region.ScriptEngine.DotNetEngine.Compiler.YieldProlog | |||
47 | new TermArrayEqualityComparer(); | 47 | new TermArrayEqualityComparer(); |
48 | 48 | ||
49 | /// <summary> | 49 | /// <summary> |
50 | /// To get the free variables, split off any existential qualifiers from Goal such as the X in | 50 | /// To get the free variables, split off any existential qualifiers from Goal such as the X in |
51 | /// "X ^ f(Y)", get the set of unbound variables in Goal that are not qualifiers, then remove | 51 | /// "X ^ f(Y)", get the set of unbound variables in Goal that are not qualifiers, then remove |
52 | /// the unbound variables that are qualifiers as well as the unbound variables in Template. | 52 | /// the unbound variables that are qualifiers as well as the unbound variables in Template. |
53 | /// </summary> | 53 | /// </summary> |
@@ -67,7 +67,7 @@ namespace OpenSim.Region.ScriptEngine.DotNetEngine.Compiler.YieldProlog | |||
67 | UnqualifiedGoal = YP.getValue(((Functor2)UnqualifiedGoal)._arg2); | 67 | UnqualifiedGoal = YP.getValue(((Functor2)UnqualifiedGoal)._arg2); |
68 | } | 68 | } |
69 | 69 | ||
70 | // Remember how many non-free variables there are so we can find the unique free variables | 70 | // Remember how many non-free variables there are so we can find the unique free variables |
71 | // that are added. | 71 | // that are added. |
72 | int nNonFreeVariables = variableSet.Count; | 72 | int nNonFreeVariables = variableSet.Count; |
73 | YP.addUniqueVariables(UnqualifiedGoal, variableSet); | 73 | YP.addUniqueVariables(UnqualifiedGoal, variableSet); |
@@ -116,8 +116,8 @@ namespace OpenSim.Region.ScriptEngine.DotNetEngine.Compiler.YieldProlog | |||
116 | /// <summary> | 116 | /// <summary> |
117 | /// For each result, unify the _freeVariables and unify bagArrayVariable with the associated bag. | 117 | /// For each result, unify the _freeVariables and unify bagArrayVariable with the associated bag. |
118 | /// </summary> | 118 | /// </summary> |
119 | /// <param name="bagArrayVariable">this is unified with the List<object> of matches for template that | 119 | /// <param name="bagArrayVariable">this is unified with the List<object> of matches for template that |
120 | /// corresponds to the bindings for freeVariables. Be very careful: this does not unify with a Prolog | 120 | /// corresponds to the bindings for freeVariables. Be very careful: this does not unify with a Prolog |
121 | /// list.</param> | 121 | /// list.</param> |
122 | /// <returns></returns> | 122 | /// <returns></returns> |
123 | public IEnumerable<bool> resultArray(Variable bagArrayVariable) | 123 | public IEnumerable<bool> resultArray(Variable bagArrayVariable) |