/*
* Deze methode geeft een Valuatie terug die de gegeven Formule vervult.
* Wanneer zo'n Valuatie niet bestaat geeft hij de waarde null terug.
*
* Deze methode roept de gelijknamige recursieve methode met 3 parameters aan, met de volgende initiele waarden:
* - formule de gegeven Formule,
* - variabelen de Set van alle variabelen uit de Formule, verkregen door eerst de methode Verzamel aan te roepen,
* - valuatie de lege valuatie.
*/
public static Valuatie Vervulbaar(IFormule formule)
{
if (formule == null)
{
return(null);
}
SortedSet <string> variabelen = new SortedSet <string>();
formule.Verzamel(variabelen);
Valuatie valuatie = new Valuatie();
return(Vervulbaar(formule, variabelen, valuatie));
}
public void Verzamel(ISet <string> set)
{
links.Verzamel(set);
rechts.Verzamel(set);
}
public void Verzamel(ISet <string> set)
{
formule.Verzamel(set);
}