package GAP

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class And(obj1: GAPFilter, obj2: GAPFilter) extends GAPObject with GAPFilter with Product with Serializable
  2. case class CategoryCollections(obj: GAPObject) extends GAPObject with GAPCategory with Product with Serializable
  3. case class CategoryFamily(obj: GAPObject) extends GAPObject with GAPCategory with Product with Serializable
  4. class Constructor extends DeclaredObject
  5. class DeclaredAttribute extends DeclaredObject with GAPAttribute
  6. class DeclaredCategory extends DeclaredObject with GAPCategory
  7. class DeclaredFilter extends DeclaredObject with GAPFilter
  8. sealed abstract class DeclaredObject extends GAPObject
  9. class DeclaredOperation extends DeclaredObject with GAPOperation
  10. class DeclaredProperty extends DeclaredAttribute with GAPProperty
  11. class DefinedFilter extends DeclaredObject with GAPFilter
  12. trait GAPAttribute extends GAPObject
  13. trait GAPCategory extends GAPObject with GAPFilter
  14. class GAPDocError extends Error
  15. class GAPDocImporter extends Importer
  16. trait GAPFilter extends GAPObject
  17. class GAPImporter extends Importer
  18. class GAPJSONImporter extends Importer
  19. class GAPMethod extends AnyRef
  20. sealed abstract class GAPObject extends AnyRef
  21. trait GAPOperation extends GAPObject with GAPAttribute
  22. trait GAPProperty extends GAPObject with GAPAttribute
  23. class GAPRepresentation extends DeclaredObject with GAPFilter
  24. class GAPSystem extends VREWithAlignmentAndSCSCP

    external computation provided by the GAP system

  25. case class GapSet(obj: GAPObject) extends GAPObject with GAPOperation with Product with Serializable
  26. case class Has(obj: GAPAttribute) extends GAPObject with GAPFilter with Product with Serializable
  27. case class ParsedAttribute(name: String, aka: List[String], filters: List[String], location: (String, Int), methods: List[ParsedMethod]) extends ParsedObject with Product with Serializable
  28. case class ParsedCategory(name: String, aka: List[String], implied: List[String], location: (String, Int)) extends ParsedObject with Product with Serializable
  29. case class ParsedConstructor(name: String, aka: List[String], location: (String, Int), filters: List[String], methods: List[ParsedMethod]) extends ParsedObject with Product with Serializable
  30. case class ParsedDefinedFilter(name: String, aka: List[String], conjof: List[String], location: (String, Int)) extends ParsedObject with Product with Serializable
  31. case class ParsedFilter(name: String, aka: List[String], implied: List[String], location: (String, Int)) extends ParsedObject with Product with Serializable
  32. case class ParsedMethod(op: String, filters: List[List[String]], comment: String, rank: Int) extends Product with Serializable
  33. sealed abstract class ParsedObject extends AnyRef
  34. case class ParsedOperation(name: String, aka: List[String], filters: List[List[List[String]]], methods: List[ParsedMethod], location: (String, Int)) extends ParsedObject with Product with Serializable
  35. case class ParsedProperty(name: String, aka: List[String], implied: List[String], isTrue: Boolean = false, location: (String, Int), methods: List[ParsedMethod]) extends ParsedObject with Product with Serializable
  36. case class ParsedRepresentation(name: String, aka: List[String], implied: List[String], location: (String, Int)) extends ParsedObject with Product with Serializable
  37. class Plugin extends api.frontend.Plugin
  38. class Translator extends AnyRef

Value Members

  1. object Booleans extends RealizedType
  2. object FilterRelations extends RelationalExtractor
  3. object Floats extends RealizedType
  4. object GAP
  5. object GAPDocError extends Serializable
  6. object GAPGraphExporter extends SimpleRelationGraphExporter
  7. object GAPTranslations

    translation to be used in GAPSystem

  8. object Integers extends RepresentedRealizedType[BigInt]
  9. object IsBool extends DeclaredCategory
  10. object IsObject extends DeclaredCategory
  11. object Setter
  12. object Tester
  13. object Translator

Ungrouped