Java Class

StateRefinement

Fully qualified name:	liquidjava.specification.StateRefinement
Containing JAR files:	[JAR] liquidjava-api-0.0.7.jar in io/github/liquid-java/liquidjava-api/0.0.7 [JAR] liquidjava-verifier-0.0.32.jar in io/github/liquid-java/liquidjava-verifier/0.0.32 [JAR] liquidjava-api-0.0.3.jar in io/github/rcosta358/liquidjava-api/0.0.3