Searched +defs:set +defs:buffer (Results 1 - 3 of 3) sorted by relevance

/hets/OWL2/java/lib/
H A Dguava-18.0.jar ... .lang.Object orNull () public java.util.Set asSet () public com.google.common.base. ...
H A Dowlapi-osgidistribution-3.5.2.jar ... util.Set objectsExpandedWithReferencingAxioms private final java.util.Set expandedWithDefiningAxioms private final java.util.Set expandedWithReferencingAxioms private ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 81 milliseconds