Method getNativeModel

src/main/java/pascal/taie/World.java:148–150

()

    }

    public NativeModel getNativeModel() {
        return nativeModel;
    }

    public void setNativeModel(NativeModel nativeModel) {
        this.nativeModel = nativeModel;