Type Members

1.  class BackwardPropagator extends Propagator[BackwardType]
2.  class CommonTypePropagator extends AnyRef
3.  class DefaultLevel0 extends Level0
4.  case class FeaturesJson(features: Map[String, Int]) extends Product with Serializable
5.  class ForwardPropagator extends Propagator[ForwardType]
6.  trait Level0 extends AnyRef
7.  class Level0Mapper extends DefaultLevel0
8.  case class Level0MapperJson(mapper: Map[String, String], ignore: Set[String], properties: Set[String]) extends Product with Serializable

   Annotations

   @JsonIgnoreProperties()

9.  trait Propagator[Direction] extends AnyRef
10.  trait SConfig extends AnyRef
11.  case class SummaryConfig(kernel: Boolean = false, level0: File = null, triangle: Boolean = false, always_with_type_0: Boolean = false, primitivep: Boolean = false, prov_constraints_inference: Boolean = false, filter: Seq[String] = Seq(), maxlevel: Int = 0, nsBase: String = "", prettyMethod: Pretty = PrettyMethod.Name, aggregatep: Boolean = false, aggregate0p: Boolean = false, withLevel0Description: Boolean = false, to: Int = -1, outfiles: Seq[Output] = Seq(), outformats: Seq[Format] = Seq(), defaultFormat: Format = null, summary_queries: File = null, types: File = null) extends SConfig with Product with Serializable
12.  case class SummaryConfiguration(level: Int, level0: Level0MapperJson, aggregated: Boolean) extends Product with Serializable

    Annotations

    @JsonIgnoreProperties()

13.  class SummaryConstructor extends AnyRef
14.  case class SummaryDescriptionJson(types: Map[Int, Set[ProvType]], typeStrings: Map[Int, String], names: Map[String, Int], base: Map[Int, Set[String]], prettyNames: Map[Int, String], prefixes: Map[String, String], nsBase: String) extends Product with Serializable

    Annotations

    @JsonIgnoreProperties()

15.  class SummaryIndex extends Indexing
16.  class TypePropagator extends AnyRef