static Set<NicePossibleWorld>
getAllPossibleWorlds(Collection<Proposition> signature)
Copyright © 2019. All rights reserved.