Uses of Class
de.unisaarland.cs.st.jerify.verifier.helpers.Triple

Packages that use Triple

de.unisaarland.cs.st.jerify.verifier.helpers

Provides helper classes.

Uses of Triple in de.unisaarland.cs.st.jerify.verifier.helpers

Methods in de.unisaarland.cs.st.jerify.verifier.helpers that return Triple

Triple<A,B,C>	Triple.setFirst(A a) Set the value of the first element
Triple<A,B,C>	Triple.setSecond(B b) Set the value of the second element
Triple<A,B,C>	Triple.setThird(C c) Set the value of the second element