Class Hierarchy
- java.lang.Object
- pascal.taie.util.AbstractResultHolder (implements pascal.taie.util.ResultHolder)
- pascal.taie.World (implements java.io.Serializable)
- pascal.taie.AbstractWorldBuilder (implements pascal.taie.WorldBuilder)
- pascal.taie.Main
- pascal.taie.util.AbstractResultHolder (implements pascal.taie.util.ResultHolder)
Interface Hierarchy
- pascal.taie.WorldBuilder