private Variable ConvertEmptyset(out MSOFormula <BDD> psi) { var X = MkNewVar2(); psi = new MSOIsEmpty <BDD>(X); return(X); }
private MSOFormula <BDD> ConvertIsEmpty(MonaExpr set, MapStack <string, MonaParam> locals) { MSOFormula <BDD> psi_X; Variable X = ConvertTerm2(set, locals, out psi_X); MSOFormula <BDD> isempty = new MSOIsEmpty <BDD>(X); if (psi_X != null) { isempty = new MSOExists <BDD>(X, new MSOAnd <BDD>(psi_X, isempty)); } return(isempty); }
private Variable ConvertEmptyset(out MSOFormula<BDD> psi) { var X = MkNewVar2(); psi = new MSOIsEmpty<BDD>(X); return X; }
private MSOFormula<BDD> ConvertIsEmpty(MonaExpr set, MapStack<string, MonaParam> locals) { MSOFormula<BDD> psi_X; Variable X = ConvertTerm2(set, locals, out psi_X); MSOFormula<BDD> isempty = new MSOIsEmpty<BDD>(X); if (psi_X != null) isempty = new MSOExists<BDD>(X, new MSOAnd<BDD>(psi_X, isempty)); return isempty; }