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