| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Lattices/ |
| H A D | SetDomain.cs | 35 struct SetDomain<T> : IAbstractDomain<SetDomain<T>> struct
37 … public static readonly SetDomain<T> TopValue = new SetDomain<T> (ImmutableSet<T>.Empty ()); argument
38 … public static readonly SetDomain<T> BottomValue = new SetDomain<T> ((IImmutableSet<T>) null); argument
42 SetDomain (IImmutableSet<T> set) in SetDomain() argument
60 public SetDomain<T> Join (SetDomain<T> that) in Join() argument
62 SetDomain<T> result; in Join()
69 public SetDomain<T> Join (SetDomain<T> that, bool widening, out bool weaker) in Join() argument
94 public SetDomain<T> Widen (SetDomain<T> that) in Widen() argument
101 public SetDomain<T> Meet (SetDomain<T> that) in Meet() argument
103 SetDomain<T> result; in Meet()
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/core/ |
| H A D | SetDomain.java | 47 public abstract class SetDomain extends Domain { class
120 public SetDomain previousDomain;
213 public abstract boolean eq(SetDomain domain); in eq()
242 public abstract SetDomain intersect(SetDomain domain); in intersect()
311 public abstract SetDomain cloneLight(); in cloneLight()
544 int pruningEvent = SetDomain.GROUND;
587 pruningEvent = SetDomain.BOUND;
627 pruningEvent = SetDomain.ANY;
709 SetDomain domain = this;
729 public abstract SetDomain subtract(SetDomain domain);
[all …]
|
| H A D | SetVar.java | 52 public SetDomain domain;
62 public SetVar(Store store, String name, SetDomain dom) { in SetVar()
64 dom.modelConstraints = new Constraint[SetDomain.eventsInclusion.length][]; in SetVar()
87 public SetVar(Store store, SetDomain dom) { in SetVar()
181 public void setDomain(SetDomain dom) { in setDomain()
193 public void addDom(SetDomain dom) { in addDom()
203 public SetDomain dom() { in dom()
305 public SetDomain recentDomainPruning() { in recentDomainPruning()
430 …assert ((event == SetDomain.LUB && !singleton()) || (event == SetDomain.GLB && !singleton()) || (e… in domainHasChanged()
431 …&& !singleton()) || (event == SetDomain.BOUND && !singleton()) || (event == SetDomain.CARDINALITY … in domainHasChanged()
[all …]
|
| H A D | BoundSetDomain.java | 171 public void addDom(SetDomain domain) { in addDom()
213 @Override public SetDomain clone() { in clone()
236 public SetDomain cloneLight() { in cloneLight()
247 public SetDomain complement() { in complement()
298 public boolean eq(SetDomain domain) { in eq()
436 if (eventGLB == SetDomain.GLB && eventLUB == SetDomain.LUB) in in()
472 public SetDomain intersect(SetDomain domain) {
624 public SetDomain subtract(SetDomain domain) {
657 public SetDomain subtract(int value) {
708 public SetDomain union(SetDomain domain) {
[all …]
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/search/ |
| H A D | MaxLubCard.java | 34 import org.jacop.set.core.SetDomain;
59 SetDomain SD = (SetDomain) var.dom(); in compare()
75 SetDomain leftSD = (SetDomain) leftVar.dom(); in compare()
76 SetDomain rightSD = (SetDomain) rightVar.dom(); in compare()
93 SetDomain SD = (SetDomain) var.dom(); in metric()
|
| H A D | MinCardDiff.java | 34 import org.jacop.set.core.SetDomain;
59 SetDomain SD = (SetDomain) var.dom(); in compare()
75 SetDomain leftSD = (SetDomain) leftVar.dom(); in compare()
76 SetDomain rightSD = (SetDomain) rightVar.dom(); in compare()
93 SetDomain SD = (SetDomain) var.dom(); in metric()
|
| H A D | MinLubCard.java | 34 import org.jacop.set.core.SetDomain;
59 SetDomain SD = var.dom(); in compare()
75 SetDomain leftSD = (SetDomain) leftVar.dom(); in compare()
76 SetDomain rightSD = (SetDomain) rightVar.dom(); in compare()
93 SetDomain SD = (SetDomain) var.dom(); in metric()
|
| H A D | MinGlbCard.java | 34 import org.jacop.set.core.SetDomain;
59 SetDomain SD = var.dom(); in compare()
75 SetDomain leftSD = leftVar.dom(); in compare()
76 SetDomain rightSD = rightVar.dom(); in compare()
93 SetDomain SD = (SetDomain) var.dom(); in metric()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.NonNull/ |
| H A D | NonNullDomain.cs | 36 …donly NonNullDomain<V> BottomValue = new NonNullDomain<V> (SetDomain<V>.BottomValue, SetDomain<V>.…
38 public SetDomain<V> NonNulls;
39 public SetDomain<V> Nulls;
41 public NonNullDomain(SetDomain<V> nonNulls, SetDomain<V> nulls) in NonNullDomain()
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-cognito-idp/include/aws/cognito-idp/model/ |
| H A D | DescribeUserPoolDomainRequest.h | 50 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
55 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
60 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
65 …inline DescribeUserPoolDomainRequest& WithDomain(const Aws::String& value) { SetDomain(value); ret… in WithDomain()
70 …inline DescribeUserPoolDomainRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value)… in WithDomain()
75 …inline DescribeUserPoolDomainRequest& WithDomain(const char* value) { SetDomain(value); return *th… in WithDomain()
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-email/include/aws/email/model/ |
| H A D | VerifyDomainDkimRequest.h | 58 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
63 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
68 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
73 …inline VerifyDomainDkimRequest& WithDomain(const Aws::String& value) { SetDomain(value); return *t… in WithDomain()
78 …inline VerifyDomainDkimRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value)); ret… in WithDomain()
83 inline VerifyDomainDkimRequest& WithDomain(const char* value) { SetDomain(value); return *this;} in WithDomain()
|
| H A D | VerifyDomainIdentityRequest.h | 59 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
64 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
69 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
74 …inline VerifyDomainIdentityRequest& WithDomain(const Aws::String& value) { SetDomain(value); retur… in WithDomain()
79 …inline VerifyDomainIdentityRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value));… in WithDomain()
84 …inline VerifyDomainIdentityRequest& WithDomain(const char* value) { SetDomain(value); return *this… in WithDomain()
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-securityhub/include/aws/securityhub/model/ |
| H A D | AwsApiCallActionDomainDetails.h | 55 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
60 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
65 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
70 …inline AwsApiCallActionDomainDetails& WithDomain(const Aws::String& value) { SetDomain(value); ret… in WithDomain()
75 …inline AwsApiCallActionDomainDetails& WithDomain(Aws::String&& value) { SetDomain(std::move(value)… in WithDomain()
80 …inline AwsApiCallActionDomainDetails& WithDomain(const char* value) { SetDomain(value); return *th… in WithDomain()
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-quicksight/include/aws/quicksight/model/ |
| H A D | AmazonOpenSearchParameters.h | 42 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
45 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
48 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
51 …inline AmazonOpenSearchParameters& WithDomain(const Aws::String& value) { SetDomain(value); return… in WithDomain()
54 …inline AmazonOpenSearchParameters& WithDomain(Aws::String&& value) { SetDomain(std::move(value)); … in WithDomain()
57 …inline AmazonOpenSearchParameters& WithDomain(const char* value) { SetDomain(value); return *this;} in WithDomain()
|
| H A D | AmazonElasticsearchParameters.h | 53 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
58 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
63 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
68 …inline AmazonElasticsearchParameters& WithDomain(const Aws::String& value) { SetDomain(value); ret… in WithDomain()
73 …inline AmazonElasticsearchParameters& WithDomain(Aws::String&& value) { SetDomain(std::move(value)… in WithDomain()
78 …inline AmazonElasticsearchParameters& WithDomain(const char* value) { SetDomain(value); return *th… in WithDomain()
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-guardduty/include/aws/guardduty/model/ |
| H A D | DomainDetails.h | 53 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
58 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
63 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
68 inline DomainDetails& WithDomain(const Aws::String& value) { SetDomain(value); return *this;} in WithDomain()
73 …inline DomainDetails& WithDomain(Aws::String&& value) { SetDomain(std::move(value)); return *this;} in WithDomain()
78 inline DomainDetails& WithDomain(const char* value) { SetDomain(value); return *this;} in WithDomain()
|
| H A D | DnsRequestAction.h | 54 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
59 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
64 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
69 inline DnsRequestAction& WithDomain(const Aws::String& value) { SetDomain(value); return *this;} in WithDomain()
74 …inline DnsRequestAction& WithDomain(Aws::String&& value) { SetDomain(std::move(value)); return *th… in WithDomain()
79 inline DnsRequestAction& WithDomain(const char* value) { SetDomain(value); return *this;} in WithDomain()
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-swf/include/aws/swf/model/ |
| H A D | CountPendingDecisionTasksRequest.h | 51 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
56 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
61 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
66 …inline CountPendingDecisionTasksRequest& WithDomain(const Aws::String& value) { SetDomain(value); … in WithDomain()
71 …inline CountPendingDecisionTasksRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(val… in WithDomain()
76 …inline CountPendingDecisionTasksRequest& WithDomain(const char* value) { SetDomain(value); return … in WithDomain()
|
| H A D | DeprecateActivityTypeRequest.h | 51 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
56 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
61 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
66 …inline DeprecateActivityTypeRequest& WithDomain(const Aws::String& value) { SetDomain(value); retu… in WithDomain()
71 …inline DeprecateActivityTypeRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value))… in WithDomain()
76 …inline DeprecateActivityTypeRequest& WithDomain(const char* value) { SetDomain(value); return *thi… in WithDomain()
|
| H A D | DescribeWorkflowTypeRequest.h | 51 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
56 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
61 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
66 …inline DescribeWorkflowTypeRequest& WithDomain(const Aws::String& value) { SetDomain(value); retur… in WithDomain()
71 …inline DescribeWorkflowTypeRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value));… in WithDomain()
76 …inline DescribeWorkflowTypeRequest& WithDomain(const char* value) { SetDomain(value); return *this… in WithDomain()
|
| H A D | UndeprecateWorkflowTypeRequest.h | 51 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
56 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
61 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
66 …inline UndeprecateWorkflowTypeRequest& WithDomain(const Aws::String& value) { SetDomain(value); re… in WithDomain()
71 …inline UndeprecateWorkflowTypeRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value… in WithDomain()
76 …inline UndeprecateWorkflowTypeRequest& WithDomain(const char* value) { SetDomain(value); return *t… in WithDomain()
|
| H A D | UndeprecateActivityTypeRequest.h | 51 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
56 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
61 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
66 …inline UndeprecateActivityTypeRequest& WithDomain(const Aws::String& value) { SetDomain(value); re… in WithDomain()
71 …inline UndeprecateActivityTypeRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value… in WithDomain()
76 …inline UndeprecateActivityTypeRequest& WithDomain(const char* value) { SetDomain(value); return *t… in WithDomain()
|
| H A D | CountPendingActivityTasksRequest.h | 51 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
56 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
61 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
66 …inline CountPendingActivityTasksRequest& WithDomain(const Aws::String& value) { SetDomain(value); … in WithDomain()
71 …inline CountPendingActivityTasksRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(val… in WithDomain()
76 …inline CountPendingActivityTasksRequest& WithDomain(const char* value) { SetDomain(value); return … in WithDomain()
|
| H A D | DeprecateWorkflowTypeRequest.h | 51 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
56 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
61 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
66 …inline DeprecateWorkflowTypeRequest& WithDomain(const Aws::String& value) { SetDomain(value); retu… in WithDomain()
71 …inline DeprecateWorkflowTypeRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value))… in WithDomain()
76 …inline DeprecateWorkflowTypeRequest& WithDomain(const char* value) { SetDomain(value); return *thi… in WithDomain()
|
| H A D | DescribeActivityTypeRequest.h | 51 inline void SetDomain(const Aws::String& value) { m_domainHasBeenSet = true; m_domain = value; } in SetDomain() function
56 …inline void SetDomain(Aws::String&& value) { m_domainHasBeenSet = true; m_domain = std::move(value… in SetDomain() function
61 inline void SetDomain(const char* value) { m_domainHasBeenSet = true; m_domain.assign(value); } in SetDomain() function
66 …inline DescribeActivityTypeRequest& WithDomain(const Aws::String& value) { SetDomain(value); retur… in WithDomain()
71 …inline DescribeActivityTypeRequest& WithDomain(Aws::String&& value) { SetDomain(std::move(value));… in WithDomain()
76 …inline DescribeActivityTypeRequest& WithDomain(const char* value) { SetDomain(value); return *this… in WithDomain()
|