public async Task <Value> Visit(LogicFalse constant)
{
//return await Loop<Value>();
// Change: we know that this is false, instead of looping just return false
// if we want to loop then the expression exists(n) (n != n) will loop
return(await Task.Run(() => new BoolValue(false))); // get rid of compiler warning
}
public Expression Visit(LogicFalse constant)
{
return(constant);
}
public SortedSet <string> Visit(LogicFalse constant)
{
return(new SortedSet <string> {
});
}
public T Visit(LogicFalse constant)
{
return(default(T));
}
