Uses of Class
turingmachine.CTMPreferences

Uses of CTMPreferences in turingmachine
 

Fields in turingmachine declared as CTMPreferences
private  CTMPreferences CTMDocument.preferences
          Prefereneces for document.
 

Methods in turingmachine that return CTMPreferences
 CTMPreferences CTMDocument.getPreferences()
          Gets document preferences.