package refactoring
- Alphabetic
- Public
- All
Type Members
- abstract class AcrossLibraryTranslation extends UniformTranslator
- class AcrossLibraryTranslator extends Logger
- case class AlignmentTranslation(alignment: FormalAlignment) extends AcrossLibraryTranslation with Product with Serializable
- abstract class Application extends AnyRef
- class ArchiveStore extends Extension
- case class ArchiveTarget(archive: Archive) extends TranslationTarget with Product with Serializable
- abstract class ClusteringFactory[NodeState, EdgeState] extends AnyRef
- case class Consthash(iname: GlobalName, hash: List[Int], pars: List[Targetable], isProp: Boolean, optDef: Option[(Int, List[Targetable])]) extends Product with Serializable
- class FinderConfig extends Logger
- class FindingProcess extends MMTTask with Logger
- abstract class FullArchive extends AnyRef
- trait Hasher extends AnyRef
- class HashesNormal extends Hasher
- case class LinkTranslation(ln: Link) extends TranslationGroup with Product with Serializable
- case class Map(from: Targetable, to: Targetable, irequires: List[Map], value: Double) extends Product with Serializable
- trait Preprocessor extends Extension
-
class
RefactorPanel extends JPanel
Created by raupi on 29.05.15.
- class StandardCluster extends ClusteringFactory[Int, Int]
- case class SymbolApplication(s: GlobalName, app: Application) extends Application with Product with Serializable
- class Theoryhash extends AnyRef
- class Translate extends QueryFunctionExtension
- abstract class TranslationGroup extends AnyRef
- trait TranslationTarget extends AnyRef
- class ViewFinder extends Extension
Value Members
- object AcrossLibraryTranslator
- object AlignmentTranslation extends Serializable
- object ArchiveStore
- object CovariantParameterPreprocessor extends Preprocessor
- object DefinitionExpander extends Preprocessor
- object Hasher
- object NotDone extends Throwable
- object OMApplication extends Application
- object SimpleParameterPreprocessor extends Preprocessor