Package net.shibboleth.utilities.java.support.logic

Classes that represent basic first order logic concepts.