added unimplented methods in Lts.java