return new GroundRegularRule(head, bodyElts, bodyOp);
}
// Parse the result of the CSP solver
public static GroundLiteral parseLiteral(String str) throws Exception {
NonGroundLiteral lit = new LiteralParser().parse(new TokenState(str));
Map<FaspVariable, FaspConstant> constMap = new HashMap<FaspVariable, FaspConstant>();
return lit.ground(constMap);
}