class And extends Apply2[Boolean, Boolean, Boolean] with BooleanOperator

Linear Supertypes
BooleanOperator, Apply2[Boolean, Boolean, Boolean], Apply[Boolean], IfArgsCacheable[Boolean], Deterministic[Boolean], Element[Boolean], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. And
  2. BooleanOperator
  3. Apply2
  4. Apply
  5. IfArgsCacheable
  6. Deterministic
  7. Element
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new And(name: Name[Boolean], arg1: Element[Boolean], arg2: Element[Boolean], collection: ElementCollection)

Type Members

  1. type Arg1Type = Boolean
    Definition Classes
    Apply2
  2. type Arg2Type = Boolean
    Definition Classes
    Apply2
  3. type Condition = (Boolean) ⇒ Boolean

    The type of conditions on the element.

    The type of conditions on the element. A condition is a function from a value to a Boolean.

    Definition Classes
    Element
  4. type Constraint = (Boolean) ⇒ Double

    The type of soft constraints on the element.

    The type of soft constraints on the element. A constraint is a function from a value to a Double.

    Definition Classes
    Element
  5. type Randomness = Null

    The type of randomness content of the element.

    The type of randomness content of the element.

    Definition Classes
    DeterministicElement
  6. type Value = Boolean

    The type of values over which the element is defined.

    The type of values over which the element is defined.

    Definition Classes
    Element

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. def !==(that: Element[Value])(implicit universe: Universe): Neq[Value]

    The element that tests inequality of this element with another element.

    The element that tests inequality of this element with another element.

    Definition Classes
    Element
  3. final def ##(): Int
    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. def ===(that: Value)(implicit universe: Universe): Apply1[Boolean, Boolean]

    The element that tests whether the value of this element is equal to a particular value.

    The element that tests whether the value of this element is equal to a particular value.

    Definition Classes
    Element
  6. def ===(that: Element[Value])(implicit universe: Universe): Eq[Value]

    The element that tests equality of this element with another element.

    The element that tests equality of this element with another element.

    Definition Classes
    Element
  7. def activate(): Unit

    Activate the element in its universe.

    Activate the element in its universe.

    Definition Classes
    Element
  8. var active: Boolean

    Flag indicating whether the element is currently active in its universe.

    Flag indicating whether the element is currently active in its universe.

    Definition Classes
    Element
  9. def addCondition(condition: Condition, contingency: Contingency = List()): Unit

    Add the given condition to the existing conditions of the element.

    Add the given condition to the existing conditions of the element. By default, the contingency is empty.

    Definition Classes
    Element
  10. def addConstraint(constraint: Constraint, contingency: Contingency = List()): Unit

    Add a contingent constraint to the element.

    Add a contingent constraint to the element. By default, the contingency is empty.

    Definition Classes
    Element
  11. def addLogConstraint(constraint: Constraint, contingency: Contingency = List()): Unit

    Add a log contingent constraint to the element.

    Add a log contingent constraint to the element. By default, the contingency is empty.

    Definition Classes
    Element
  12. def addPragma(pragma: Pragma[Value]): Unit

    Add a pragma to the element.

    Add a pragma to the element.

    Definition Classes
    Element
  13. def allConditions: List[(Condition, Contingency)]

    All the conditions defined on this element.

    All the conditions defined on this element.

    Definition Classes
    Element
  14. def allConstraints: List[(Constraint, Contingency)]

    The current soft constraints on the element.

    The current soft constraints on the element.

    Definition Classes
    Element
  15. val arg1: Element[Boolean]
    Definition Classes
    Apply2
  16. val arg2: Element[Boolean]
    Definition Classes
    Apply2
  17. def args: List[Element[_]]

    The arguments on which the element depends.

    The arguments on which the element depends.

    Definition Classes
    Apply2Element
  18. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  19. def clearContext(): Unit

    Clears all the temporary elements associated with this element (all elements created in it's context).

    Clears all the temporary elements associated with this element (all elements created in it's context).

    Definition Classes
    Element
  20. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. val collection: ElementCollection
    Definition Classes
    Element
  22. def condition(value: Any): Boolean

    Tests whether all the element's contingent conditions are satisfied for the given value.

    Tests whether all the element's contingent conditions are satisfied for the given value.

    Definition Classes
    Element
  23. def conditionSatisfied: Boolean

    Determines whether the condition on the element is satisfied by the current value.

    Determines whether the condition on the element is satisfied by the current value.

    Definition Classes
    Element
  24. def constraint(value: Any): Double

    Gets the result of all the element's contingent constraints for the given value.

    Gets the result of all the element's contingent constraints for the given value.

    Definition Classes
    Element
  25. def constraintValue: Double

    Determines the value of the constraint on the element applied to the current value.

    Determines the value of the constraint on the element applied to the current value.

    Definition Classes
    Element
  26. def context: List[Element[_]]

    The elements on which the existence of this element depends.

    The elements on which the existence of this element depends.

    Definition Classes
    Element
  27. def deactivate(): Unit

    Deactivate the element in its universe.

    Deactivate the element in its universe.

    Definition Classes
    Element
  28. def directContextContents: Set[Element[_]]

    Returns the set of elements directly created in the context of this element.

    Returns the set of elements directly created in the context of this element.

    Definition Classes
    Element
  29. def elementsIAmContingentOn: Set[Element[_]]

    Returns the elements that this element is contingent on.

    Returns the elements that this element is contingent on. These are elements that are required to have a certain value for a condition or constraint to be relevant to this element. The contingency is required because conditions and constraints can be applied to references that are uncertain. Every possible element that could be pointed to by a reference must be given the condition or constraint, but the condition or constraint only applies if the elements earlier in the reference have the required value.

    Figaro takes care of handling all this under the hood. However, some algorithms may need to know which elements an element is contingent on. For example, sampling algorithms may need to sample those other elements first. This method is supplied to support this use case.

    Definition Classes
    Element
  30. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  32. def extendedFn(xv1: Extended[Boolean], xv2: Extended[Boolean]): Extended[Boolean]

    Short-circuiting boolean function on extended values.

    Short-circuiting boolean function on extended values.

    Definition Classes
    AndBooleanOperator
  33. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  34. def flatMap[U](fn: (Value) ⇒ Element[U])(implicit name: Name[U], collection: ElementCollection): Element[U]
    Definition Classes
    Element
  35. val fn: (Boolean, Boolean) ⇒ Boolean
    Definition Classes
    Apply2
  36. final def generate(): Unit

    First generate the randomness, then generate the value given the randomness.

    First generate the randomness, then generate the value given the randomness. Store the results in randomness and value.

    Definition Classes
    Element
  37. def generateRandomness(): Null

    Generate the randomness content.

    Generate the randomness content.

    Definition Classes
    DeterministicElement
  38. def generateValue(): Boolean

    Generate a value with no randomness.

    Generate a value with no randomness.

    Definition Classes
    Apply2Deterministic
  39. def generateValue(rand: Randomness): Value

    Generate the value of the element deterministically given its randomness and the values of its arguments.

    Generate the value of the element deterministically given its randomness and the values of its arguments.

    Definition Classes
    DeterministicElement
  40. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  41. val hashCode: Int
    Definition Classes
    Element
  42. def intervene(v: Value): Unit
    Definition Classes
    Element
  43. def isCachable(): Boolean

    The cacheability of the element.

    The cacheability of the element. Chains create caches of their parent values, and it is useful to know when these values can be effectively cached and reused. In general, continuous distributions are not cacheable.

    Definition Classes
    IfArgsCacheableElement
  44. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  45. def isTemporary: Boolean

    Returns true if this element is temporary, that is, was created in the context of another element.

    Returns true if this element is temporary, that is, was created in the context of another element.

    Definition Classes
    Element
  46. def map[U](fn: (Value) ⇒ U)(implicit name: Name[U], collection: ElementCollection): Element[U]
    Definition Classes
    Element
  47. val name: Name[Boolean]
    Definition Classes
    Element
  48. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. def nextRandomness(rand: Randomness): (Randomness, Double, Double)

    Generate the next randomness given the current randomness.

    Generate the next randomness given the current randomness. Returns three values: The next randomness, the Metropolis-Hastings proposal probability ratio, which is:

    P(new -> old) / P(old -> new)

    and the model probability ratio, which is:

    P(new) / P(old)

    The default implementation is to use generateRandomness and returns ones for the proposal and model probability ratios.

    Definition Classes
    Element
  50. final def notify(): Unit
    Definition Classes
    AnyRef
  51. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  52. def observe(observation: Value): Unit

    Condition the element by observing a particular value.

    Condition the element by observing a particular value. Propagates the effect to dependent elements and ensures that no other value for the element can be generated.

    Definition Classes
    Element
  53. def pragmas: List[Pragma[Value]]

    The pragmas attached to the element.

    The pragmas attached to the element.

    Definition Classes
    Element
  54. var randomness: Randomness

    The current randomness content of the element.

    The current randomness content of the element.

    Definition Classes
    Element
  55. def removeConditions(contingency: Contingency = List()): Unit

    Remove all conditions associated with the given contingency.

    Remove all conditions associated with the given contingency. By default, the contingency is empty.

    Definition Classes
    Element
  56. def removeConstraint(constraint: Constraint, contingency: Contingency = List()): Unit
    Attributes
    protected
    Definition Classes
    Element
  57. def removeConstraints(contingency: Contingency = List()): Unit

    Remove all constraints associated with the given contingency.

    Remove all constraints associated with the given contingency. By default, the contingency is empty.

    Definition Classes
    Element
  58. def removePragma(pragma: Pragma[Value]): Unit

    Remove a pragma from the element.

    Remove a pragma from the element.

    Definition Classes
    Element
  59. def score(oldValue: Value, newValue: Value): Double

    Compute the constraints on the new value divided by the constraints on the old value.

    Compute the constraints on the new value divided by the constraints on the old value.

    Definition Classes
    Element
  60. def set(newValue: Value): Unit

    Set the value of this element and propagate the effects to elements that depend on it without changing their randomness.

    Set the value of this element and propagate the effects to elements that depend on it without changing their randomness. Also disallows the value of the element to change until unobserve or unset is called.

    Definition Classes
    Element
  61. def setCondition(newCondition: Condition, contingency: Contingency = List()): Unit

    Set the condition associated with the contingency.

    Set the condition associated with the contingency. Removes previous conditions associated with the contingency. By default, the contingency is empty.

    Definition Classes
    Element
  62. def setConstraint(newConstraint: Constraint, contingency: Contingency = List()): Unit

    Set the constraint associated with the contingency.

    Set the constraint associated with the contingency. Removes previous constraints associated with the contingency. By default, the contingency is empty.

    Definition Classes
    Element
  63. def setLogConstraint(newConstraint: Constraint, contingency: Contingency = List()): Unit

    Set the log constraint associated with the contingency.

    Set the log constraint associated with the contingency. Removes previous constraints associated with the contingency. By default, the contingency is empty.

    Definition Classes
    Element
  64. def setRandomness(newRandomness: Randomness): Unit

    Set the randomness of this element.

    Set the randomness of this element.

    Will generate its value using the new randomness and propagate the effects to elements that depend on it without changing their randomness.

    Definition Classes
    Element
  65. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  66. def toNameString: String

    A string that is the element's name, if it has a non-empty one, otherwise the result of the element's toString.

    A string that is the element's name, if it has a non-empty one, otherwise the result of the element's toString.

    Definition Classes
    Element
  67. def toString(): String
    Definition Classes
    AndApply2 → AnyRef → Any
  68. def unintervene(): Unit
    Definition Classes
    Element
  69. val universe: Universe

    The universe in which the element is defined.

    The universe in which the element is defined.

    Definition Classes
    Element
  70. def unobserve(): Unit

    Removes conditions on the element and allows different values of the element to be generated.

    Removes conditions on the element and allows different values of the element to be generated.

    Definition Classes
    Element
  71. def unset(): Unit

    Allows different values of the element to be generated.

    Allows different values of the element to be generated.

    Definition Classes
    Element
  72. var value: Value

    The current value of the element.

    The current value of the element.

    Definition Classes
    Element
  73. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  74. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  75. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from BooleanOperator

Inherited from Apply2[Boolean, Boolean, Boolean]

Inherited from Apply[Boolean]

Inherited from IfArgsCacheable[Boolean]

Inherited from Deterministic[Boolean]

Inherited from Element[Boolean]

Inherited from AnyRef

Inherited from Any

Ungrouped