Searched refs:contains_one_free_literal (Results 1 – 1 of 1) sorted by relevance
506 bool contains_one_free_literal = false; in ConstraintIsOptional() local509 if (!LiteralIsTrue(literal)) contains_one_free_literal = true; in ConstraintIsOptional()511 return contains_one_free_literal; in ConstraintIsOptional()