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