docalculus

Type Members

1. case class CausalModel[T, N, DG](name: String, graph: DG)(implicit evidence$5: Eq[T], evidence$6: Field[N], dg: DirectedGraph[DG, CausalModelNode[T, N], CausalModelEdge]) extends Product with Serializable

   

2. class CausalModelEdge extends AnyRef

   

3. case class CausalModelNode[T, N](rv: Distribution[T, N], observable: Boolean = true)(implicit evidence$1: Eq[T], evidence$2: Field[N]) extends Product with Serializable

   

4. case class CausalityProbability[T, N](question: Set[Distribution[T, N]], given: Set[Distribution[T, N]], actions: Set[Distribution[T, N]])(implicit evidence$1: Eq[T], evidence$2: Field[N]) extends Form with Product with Serializable

   

5. trait Form extends AnyRef

   

6. trait PFunction[T, N] extends AnyRef

   

7. trait Rule extends Form

   

8. case class RuleBindings() extends Product with Serializable

   

9. case class Sigma[T](xs: Set[T], f: (T) ⇒ Form) extends Form with Product with Serializable

   

10. case class Unifier() extends Product with Serializable

    

11. case class VariableNamer[T, N]()(implicit evidence$1: Eq[T], evidence$2: Field[N]) extends Product with Serializable