NeuS-V / neus_v /model_checking /proposition.py
Syzygianinfern0's picture
Add refactored codebase
8d3e73e
raw
history blame contribute delete
230 Bytes
def process_proposition_set(proposition_set: list[str]) -> list:
"""Process proposition set."""
new_set = []
for proposition in proposition_set:
new_set.append(proposition.replace(" ", "_"))
return new_set