Exemple #1
0
 std::string Term::toString() const {
     return FllExporter().toString(this);
 }
Exemple #2
0
 std::string RuleBlock::toString() const {
     return FllExporter("", "; ").toString(this);
 }
 std::string InputVariable::toString() const {
     return FllExporter().toString(this);
 }
Exemple #4
0
 std::string OutputVariable::toString() const {
     return FllExporter("", "; ").toString(this);
 }