Searched defs:constraint (Results 1 - 21 of 21) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h32 /// Construct a ConditionTruthVal indicating the constraint is constrained
34 ConditionTruthVal(bool constraint) : Val(constraint) {} argument
36 /// Construct a ConstraintVal indicating the constraint is underconstrained.
39 /// Return true if the constraint is perfectly constrained to 'true'.
44 /// Return true if the constraint is perfectly constrained to 'false'.
55 /// if the constraint is true of value.
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h139 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) argument
140 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
/external/jmonkeyengine/engine/src/jbullet/com/jme3/bullet/joints/
H A DPhysicsJoint.java46 protected TypedConstraint constraint; field in class:PhysicsJoint
70 return constraint.getAppliedImpulse();
74 * @return the constraint
77 return constraint;
/external/guava/guava/src/com/google/common/collect/
H A DConstraints.java59 * Returns a constraint that verifies that the element is not null. If the
70 * constraint. Any operations that add new elements to the collection will
71 * call the provided constraint. However, this method does not verify that
72 * existing elements satisfy the constraint.
77 * @param constraint the constraint that validates added elements
81 Collection<E> collection, Constraint<? super E> constraint) {
82 return new ConstrainedCollection<E>(collection, constraint);
88 private final Constraint<? super E> constraint; field in class:Constraints.ConstrainedCollection
91 Collection<E> delegate, Constraint<? super E> constraint) {
80 constrainedCollection( Collection<E> collection, Constraint<? super E> constraint) argument
90 ConstrainedCollection( Collection<E> delegate, Constraint<? super E> constraint) argument
119 constrainedSet( Set<E> set, Constraint<? super E> constraint) argument
127 private final Constraint<? super E> constraint; field in class:Constraints.ConstrainedSet
129 ConstrainedSet(Set<E> delegate, Constraint<? super E> constraint) argument
157 constrainedSortedSet( SortedSet<E> sortedSet, Constraint<? super E> constraint) argument
165 final Constraint<? super E> constraint; field in class:Constraints.ConstrainedSortedSet
167 ConstrainedSortedSet( SortedSet<E> delegate, Constraint<? super E> constraint) argument
207 constrainedList( List<E> list, Constraint<? super E> constraint) argument
218 final Constraint<? super E> constraint; field in class:Constraints.ConstrainedList
220 ConstrainedList(List<E> delegate, Constraint<? super E> constraint) argument
262 ConstrainedRandomAccessList( List<E> delegate, Constraint<? super E> constraint) argument
277 constrainedListIterator( ListIterator<E> listIterator, Constraint<? super E> constraint) argument
285 private final Constraint<? super E> constraint; field in class:Constraints.ConstrainedListIterator
287 ConstrainedListIterator( ListIterator<E> delegate, Constraint<? super E> constraint) argument
306 constrainedTypePreservingCollection( Collection<E> collection, Constraint<E> constraint) argument
331 constrainedMultiset( Multiset<E> multiset, Constraint<? super E> constraint) argument
339 private final Constraint<? super E> constraint; field in class:Constraints.ConstrainedMultiset
341 ConstrainedMultiset( Multiset<E> delegate, Constraint<? super E> constraint) argument
374 checkElements( Collection<E> elements, Constraint<? super E> constraint) argument
[all...]
H A DMapConstraints.java49 * Returns a constraint that verifies that neither the key nor the value is
73 * constraint. Any operations that add new mappings will call the provided
74 * constraint. However, this method does not verify that existing mappings
75 * satisfy the constraint.
80 * @param constraint the constraint that validates added entries
84 Map<K, V> map, MapConstraint<? super K, ? super V> constraint) {
85 return new ConstrainedMap<K, V>(map, constraint);
90 * constraint. Any operations that add new mappings will call the provided
91 * constraint
83 constrainedMap( Map<K, V> map, MapConstraint<? super K, ? super V> constraint) argument
104 constrainedMultimap( Multimap<K, V> multimap, MapConstraint<? super K, ? super V> constraint) argument
125 constrainedListMultimap( ListMultimap<K, V> multimap, MapConstraint<? super K, ? super V> constraint) argument
146 constrainedSetMultimap( SetMultimap<K, V> multimap, MapConstraint<? super K, ? super V> constraint) argument
167 constrainedSortedSetMultimap( SortedSetMultimap<K, V> multimap, MapConstraint<? super K, ? super V> constraint) argument
182 constrainedEntry( final Entry<K, V> entry, final MapConstraint<? super K, ? super V> constraint) argument
208 constrainedAsMapEntry( final Entry<K, Collection<V>> entry, final MapConstraint<? super K, ? super V> constraint) argument
242 constrainedAsMapEntries( Set<Entry<K, Collection<V>>> entries, MapConstraint<? super K, ? super V> constraint) argument
260 constrainedEntries( Collection<Entry<K, V>> entries, MapConstraint<? super K, ? super V> constraint) argument
283 constrainedEntrySet( Set<Entry<K, V>> entries, MapConstraint<? super K, ? super V> constraint) argument
292 final MapConstraint<? super K, ? super V> constraint; field in class:MapConstraints.ConstrainedMap
295 ConstrainedMap( Map<K, V> delegate, MapConstraint<? super K, ? super V> constraint) argument
331 constrainedBiMap( BiMap<K, V> map, MapConstraint<? super K, ? super V> constraint) argument
353 ConstrainedBiMap(BiMap<K, V> delegate, @Nullable BiMap<V, K> inverse, MapConstraint<? super K, ? super V> constraint) argument
385 final MapConstraint<? super V, ? super K> constraint; field in class:MapConstraints.InverseConstraint
387 InverseConstraint(MapConstraint<? super V, ? super K> constraint) argument
399 final MapConstraint<? super K, ? super V> constraint; field in class:MapConstraints.ConstrainedMultimap
404 ConstrainedMultimap(Multimap<K, V> delegate, MapConstraint<? super K, ? super V> constraint) argument
569 final MapConstraint<? super K, ? super V> constraint; field in class:MapConstraints.ConstrainedEntries
572 ConstrainedEntries(Collection<Entry<K, V>> entries, MapConstraint<? super K, ? super V> constraint) argument
621 ConstrainedEntrySet(Set<Entry<K, V>> entries, MapConstraint<? super K, ? super V> constraint) argument
640 private final MapConstraint<? super K, ? super V> constraint; field in class:MapConstraints.ConstrainedAsMapEntries
643 ConstrainedAsMapEntries(Set<Entry<K, Collection<V>>> entries, MapConstraint<? super K, ? super V> constraint) argument
706 ConstrainedListMultimap(ListMultimap<K, V> delegate, MapConstraint<? super K, ? super V> constraint) argument
724 ConstrainedSetMultimap(SetMultimap<K, V> delegate, MapConstraint<? super K, ? super V> constraint) argument
745 ConstrainedSortedSetMultimap(SortedSetMultimap<K, V> delegate, MapConstraint<? super K, ? super V> constraint) argument
765 checkValues(K key, Iterable<? extends V> values, MapConstraint<? super K, ? super V> constraint) argument
775 checkMap(Map<? extends K, ? extends V> map, MapConstraint<? super K, ? super V> constraint) argument
[all...]
/external/jmonkeyengine/engine/src/bullet-native/
H A Dcom_jme3_bullet_PhysicsSpace.cpp321 btTypedConstraint* constraint = reinterpret_cast<btTypedConstraint*>(objectId); local
327 if (constraint == NULL) {
329 env->ThrowNew(newExc, "The constraint object does not exist.");
332 space->getDynamicsWorld()->addConstraint(constraint);
343 btTypedConstraint* constraint = reinterpret_cast<btTypedConstraint*>(objectId); local
349 if (constraint == NULL) {
351 env->ThrowNew(newExc, "The constraint object does not exist.");
354 space->getDynamicsWorld()->removeConstraint(constraint);
/external/bouncycastle/bcprov/src/main/java/org/bouncycastle/jce/provider/
H A DPKIXNameConstraintValidator.java601 * <code>constraint</code>.
604 * @param constraint The constraint. This is an IP address concatenated with
609 private boolean isIPConstrained(byte ip[], byte[] constraint) argument
613 if (ipLength != (constraint.length / 2))
619 System.arraycopy(constraint, ipLength, subnetMask, 0, ipLength);
628 permittedSubnetAddress[i] = (byte)(constraint[i] & subnetMask[i]);
635 private boolean emailIsConstrained(String email, String constraint) argument
639 if (constraint.indexOf('@') != -1)
641 if (email.equalsIgnoreCase(constraint))
1404 isUriConstrained(String uri, String constraint) argument
[all...]
/external/compiler-rt/lib/interception/mach_override/
H A Dmach_override.c659 unsigned char constraint[15]; // sequence of bytes in memory order member in struct:__anon4910
747 unsigned char constraint = instruction->constraint[i]; local
752 match = ((codeValue & mask) == constraint);
/external/libsepol/src/
H A Dservices.c115 * Return the boolean value of a constraint expression
313 constraint_node_t *constraint; local
380 * Remove any permissions prohibited by a constraint (this includes
383 constraint = tclass_datum->constraints;
384 while (constraint) {
385 if ((constraint->permissions & (avd->allowed)) &&
387 constraint->expr)) {
389 (avd->allowed) & ~(constraint->permissions);
391 constraint = constraint
434 constraint_node_t *constraint; local
[all...]
H A Dpolicydb.c1066 constraint_node_t *constraint, *ctemp; local
1077 constraint = cladatum->constraints;
1078 while (constraint) {
1079 e = constraint->expr;
1085 ctemp = constraint;
1086 constraint = constraint->next;
1090 constraint = cladatum->validatetrans;
1091 while (constraint) {
1092 e = constraint
[all...]
/external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/
H A Dorg.eclipse.osgi_3.6.1.R36x_v20100806.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
H A Dorg.eclipse.osgi_3.6.2.R36x_v20101103.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
H A Dorg.apache.jasper_5.5.17.v201004212143.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
H A Dorg.mortbay.jetty.server_6.1.23.v201004211559.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
H A Dcom.ibm.icu_4.2.1.v20100412.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
H A Dorg.eclipse.pde.api.tools_1.0.202.v20100820_r361.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
H A Dorg.eclipse.jdt.core_3.6.2.v_A76_R36x.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
H A Dorg.eclipse.pde.core_3.6.1.v20100902_r361.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
H A Dorg.eclipse.ui.workbench_3.6.1.M20101117-0800.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
/external/valgrind/main/perf/
H A Dtinycc.c5514 char *constraint;
5517 int ref_index; /* if >= 0, gives reference to a output constraint */
5518 int input_index; /* if >= 0, gives reference to an input constraint */
6257 /* XXX: need better constraint for second operand */
16602 /* return the constraint priority (we allocate first the lowest
16642 error("unknown constraint '%c'", c);
16683 /* compute constraint priority and evaluate references to output
16687 str = op->constraint;
16690 /* this is a reference to another constraint */
16693 error("invalid reference in constraint
5512 char *constraint; member in struct:ASMOperand
[all...]
/external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/org.eclipse.pde.build_3.6.1.R36x_v20100823/
H A Dpdebuild.jarMETA-INF/ META-INF/MANIFEST.MF org/ org/eclipse/ org/eclipse/pde/ org/eclipse/pde/build/ ...

Completed in 363 milliseconds