SolutionVariables Property

Enumerate the PlQueryVariables of one solution.

Declaration Syntax

Visual Basic

Visual C++

public IEnumerable<PlQueryVariables> SolutionVariables { get; }

Public ReadOnly Property SolutionVariables As IEnumerable(Of PlQueryVariables)
	Get

public:
property IEnumerable<PlQueryVariables^>^ SolutionVariables {
	IEnumerable<PlQueryVariables^>^ get ();
}

member SolutionVariables : IEnumerable<PlQueryVariables> with get

Property Value

IEnumerable<(Of <(<'PlQueryVariables>)>)>

Examples

	Copy
public void TestCompoundQuery() { string[] ref_values = { "gloria", "melanie", "ayala" }; using (PlFrame fr = new PlFrame()) { PlQuery.PlCall("assert(father(uwe, gloria))"); PlQuery.PlCall("assert(father(uwe, melanie))"); PlQuery.PlCall("assert(father(uwe, ayala))"); PlQuery plq = new PlQuery("father(P,C), atomic_list_concat([P,' is_father_of ',C], L)"); int i = 0; foreach (PlQueryVariables vars in plq.SolutionVariables) { Assert.AreEqual("uwe", (string)vars["P"]); Assert.AreEqual(ref_values[i++], (string)vars["C"]); } } }

Copy

public void TestCompoundQuery()
{
    string[] ref_values = { "gloria", "melanie", "ayala" };
    using (PlFrame fr = new PlFrame())
    {
        PlQuery.PlCall("assert(father(uwe, gloria))");
        PlQuery.PlCall("assert(father(uwe, melanie))");
        PlQuery.PlCall("assert(father(uwe, ayala))");
        PlQuery plq = new PlQuery("father(P,C), atomic_list_concat([P,' is_father_of ',C], L)");
        int i = 0;
        foreach (PlQueryVariables vars in plq.SolutionVariables)
        {
            Assert.AreEqual("uwe", (string)vars["P"]);
            Assert.AreEqual(ref_values[i++], (string)vars["C"]);
        }
    }
}