|
Class Summary |
| BinaryArc |
|
| BinaryBoolArc |
Base class for generic boolean arcs |
| BinaryBoolConstAndReflexArc |
Arc representing Z && y = X |
| BinaryBoolConstOrArc |
Arc representing A OR CONST -> Z |
| BinaryBoolConstOrReflexArc |
Arc representing Z -> A OR CONST |
| BinaryBoolConstSourceAndArc |
Arc representing X && y = Z |
| BinaryBoolConstTargetAndArc |
Arc representing Z && X = y |
| BinaryBoolConstTargetOrArc |
Arc representing Z || X = y |
| BinaryBoolConstTargetXImpliesArc |
Arc representing Z -> X = y |
| BinaryBoolConstTargetXorArc |
Arc representing Z xor X = y |
| BinaryBoolConstTargetYImpliesArc |
Arc representing X -> Z = y |
| BinaryBoolConstXorArc |
Arc representing A XOR CONST -> Z |
| BinaryBoolEqThreeVarArc |
Arc representing Z = (A == b) |
| BinaryBoolEqTwoVarArc |
Arc representing Z <- A, Z <- ^A, ^Z <- A, etc
where if right side of the equation evaluates to true, the
left side must evaluate to true. |
| BinaryBoolImpliesReflexTwoVarArc |
Arc representing A <- Z |
| BinaryBoolImpliesThreeVarArc |
Arc representing Z = A -> b or Z = a -> B |
| BinaryBoolImpliesTwoVarArc |
Arc representing Z <- A |
| BinaryBoolImpliesXReflexArc |
Arc representing a = Z -> B or A = Z -> b |
| BinaryNumAbsArc |
Arc representing Z = |X| |
| BinaryNumAbsReflectArc |
Arc representing X = |Z| |
| BinaryNumAcosArc |
Arc representing Z = acos(X) |
| BinaryNumArc |
Abstract base arc for numeric arc with 2 variables |
| BinaryNumAsinArc |
Arc representing Z = asin(X) |
| BinaryNumAtanArc |
Arc representing Z = atan(X) |
| BinaryNumCardinalityArc |
Arc representing Z = cardinality(X) |
| BinaryNumCardinalityReflexArc |
Arc representing cardinality(Z) = X |
| BinaryNumCosArc |
Arc representing Z = cos(X) |
| BinaryNumDiffArc |
Arc representing Z = X - y, Z < x - Y, etc. |
| BinaryNumExpArc |
Arc representing Z = e^X |
| BinaryNumLogArc |
Arc representing logx(Y) > Z or logX(y) < Z, etc |
| BinaryNumNatLogArc |
Arc representing Z = natural log of X |
| BinaryNumPowerArc |
Arc representing Z = X^y, Z < x^Y, etc. |
| BinaryNumProdArc |
Arc representing Z = X * y, Z < x * Y, etc. |
| BinaryNumProdReflexArc |
Arc representing Z = X / y, Z < x / Y, etc with special multiplication-related behavior. |
| BinaryNumQuotAlternateArc |
Arc representing Z = X / y, Z < x / Y, etc with multiplication- and division-related behavior. |
| BinaryNumQuotArc |
Arc representing Z = X / y, Z < x / Y, etc. |
| BinaryNumQuotReflexArc |
Arc representing Z = X * y, Z < x * Y, etc with special division-related behavior. |
| BinaryNumRelationArc |
Arc representing Z = A, Z < A, Z > A, etc. |
| BinaryNumSinArc |
Arc representing Z = sin(X) |
| BinaryNumSquareArc |
Arc representing Z = X^2 |
| BinaryNumSquareReflexArc |
Arc representing sqrt(X) = Z, sqrt(X) < Z etc with special square-related behavior |
| BinaryNumSumArc |
Arc representing Z = X + y, Z < x + Y, etc. |
| BinaryNumTanArc |
Arc representing Z = tan(X) |
| BinarySetArc |
Abstract base arc for set arc with 2 variables |
| BinarySetMemberOfSetArc |
Binary arc that constraints a numeric variable to be a member of a set |
| BinarySetMemberOfSetReflexArc |
Binary arc that constrains a set variable to contain values contained in a specific
variable |
| BinarySetNotMemberOfSetArc |
Binary arc that constraints a numeric variable not to be a member of a set |
| BinarySetNotMemberOfSetReflexArc |
Binary arc that constrains a set variable not to contain values contained in a specific
variable |
| BinarySetSubsetArc |
Arc representing Z is subset of X |
| BinarySetSupersetArc |
Arc representing Z is superset of X |