/dports/lang/mono/mono-5.10.1.57/external/corefx/src/Common/tests/System/Collections/ |
H A D | ISet.Generic.Tests.cs | 24 #region ISet<T> Helper methods 30 protected abstract ISet<T> GenericISetFactory(); in GenericISetFactory() 39 ISet<T> collection = GenericISetFactory(); in GenericISetFactory() 47 ISet<T> set = (ISet<T>)collection; in AddToCollection() 80 ISet<T> set = GenericISetFactory(count); in ICollection_Generic_Add_ReturnValue() 305 ISet<T> set = GenericISetFactory(count); in ISet_Generic_NullEnumerableArgument() 322 ISet<T> set = GenericISetFactory(setLength); in ISet_Generic_ExceptWith() 331 ISet<T> set = GenericISetFactory(setLength); in ISet_Generic_IntersectWith() 340 ISet<T> set = GenericISetFactory(setLength); in ISet_Generic_IsProperSubsetOf() 349 ISet<T> set = GenericISetFactory(setLength); in ISet_Generic_IsProperSupersetOf() [all …]
|
/dports/textproc/jade/jade-1.2.1/include/ |
H A D | CharsetDecl.h | 32 ISet<WideChar> &declared) const; 33 void usedSet(ISet<Char> &) const; 55 ISet<WideChar> &declared) const; 56 void usedSet(ISet<Char> &) const; 65 ISet<WideChar> &to, Number &count) const; 77 void usedSet(ISet<Char> &) const; 78 void declaredSet(ISet<WideChar> &set) const; 81 ISet<WideChar> &declared) const; 98 ISet<WideChar> &to, Number &count) const; 102 ISet<WideChar> declaredSet_; [all …]
|
H A D | ISet.cxx | 14 ISet<T>::ISet() in ISet() function in SP_NAMESPACE::ISet 19 ISet<T>::~ISet() in ~ISet() 24 ISet<T>::ISet(const T *v, size_t n) in ISet() function in SP_NAMESPACE::ISet 31 Boolean ISet<T>::contains(T x) const in contains() 40 void ISet<T>::addRange(T min, T max) in addRange() 79 void ISet<T>::remove(T c) in remove() 109 void ISet<T>::check() in check() 121 void ISet<T>::clear() in clear()
|
H A D | ISet.h | 25 class ISet { 27 ISet(); 28 ISet(const T *, size_t); 29 ~ISet(); 35 void add(const ISet<T> &); 44 void swap(ISet<T> &x) { r_.swap(x.r_); } in swap()
|
/dports/textproc/opensp/OpenSP-1.5.2/include/ |
H A D | CharsetDecl.h | 33 ISet<WideChar> &declared) const; 34 void usedSet(ISet<Char> &) const; 57 ISet<WideChar> &declared) const; 58 void usedSet(ISet<Char> &) const; 67 ISet<WideChar> &to, Number &count) const; 79 void usedSet(ISet<Char> &) const; 80 void declaredSet(ISet<WideChar> &set) const; 83 ISet<WideChar> &declared) const; 100 ISet<WideChar> &to, Number &count) const; 104 ISet<WideChar> declaredSet_; [all …]
|
H A D | ISet.cxx | 14 ISet<T>::ISet() in ISet() function in SP_NAMESPACE::ISet 19 ISet<T>::~ISet() in ~ISet() 24 ISet<T>::ISet(const T *v, size_t n) in ISet() function in SP_NAMESPACE::ISet 31 Boolean ISet<T>::contains(T x) const in contains() 40 void ISet<T>::addRange(T min, T max) in addRange() 79 void ISet<T>::remove(T c) in remove() 109 void ISet<T>::check() in check() 121 void ISet<T>::clear() in clear()
|
H A D | ISet.h | 25 class ISet { 27 ISet(); 28 ISet(const T *, size_t); 29 ~ISet(); 35 void add(const ISet<T> &); 44 void swap(ISet<T> &x) { r_.swap(x.r_); } in swap()
|
/dports/databases/mdcached/mdcached-1.0.9/mdcached/ |
H A D | ISet.h | 29 class ISet { 34 ISet(); 66 ISet<N>::ISet() in ISet() function 73 ISet<N>::add(unsigned i) in add() 83 ISet<N>::test(unsigned i) in test() 93 ISet<N>::remove(unsigned i) in remove() 103 ISet<N>::clear() in clear() 110 ISet<N>::count() in count() 125 ISet<N>::get_elements(unsigned *arr) in get_elements() 154 ISet<N>::_get_bitmap() in _get_bitmap() [all …]
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.ExpressionAnalysis.Decoding/ |
H A D | VisitorForVariablesIn.cs | 36 class VisitorForVariablesIn<V, E> : ISymbolicExpressionVisitor<E, E, V, ISet<E>, Dummy> 51 private void Recurse (E expr, ISet<E> set) in Recurse() 56 #region Implementation of IExpressionILVisitor<E,E,V,ISet<E>,Dummy> 57 public Dummy Binary (E pc, BinaryOperator op, V dest, E operand1, E operand2, ISet<E> data) in Binary() 64 public Dummy Isinst (E pc, TypeNode type, V dest, E obj, ISet<E> data) in Isinst() 70 public Dummy LoadNull (E pc, V dest, ISet<E> polarity) in LoadNull() 75 public Dummy LoadConst (E pc, TypeNode type, object constant, V dest, ISet<E> data) in LoadConst() 80 public Dummy Sizeof (E pc, TypeNode type, V dest, ISet<E> data) in Sizeof() 86 public Dummy Unary (E pc, UnaryOperator op, bool unsigned, V dest, E source, ISet<E> data) in Unary() 93 #region Implementation of ISymbolicExpressionVisitor<E,E,V,ISet<E>,Dummy> [all …]
|
/dports/deskutils/ical/ical-tcl/types/ |
H A D | testhash.C | 16 typedef IntSet ISet; typedef 36 static int subset(ISet& m1, ISet& m2) { in subset() 48 static int compare(ISet& m1, ISet& m2) { in compare() 55 static void copy(ISet& m1, ISet& m2) { in copy() 106 ISet empty; in black_empty() 181 ISet single; in black_single() 214 ISet temp; in black_single() 244 ISet temp; in black_single() 263 ISet temp; in black_single() 282 ISet temp; in black_single() [all …]
|
H A D | testoset.C | 27 static int subset(ISet& m1, ISet& m2) { 39 static int compare(ISet& m1, ISet& m2) { in compare() 46 static void copy(ISet& m1, ISet& m2) { in copy() 119 ISet empty; in black_empty() 185 ISet single; in black_single() 219 ISet temp; in black_single() 245 ISet temp; in black_single() 264 ISet temp; in black_single() 377 ISet temp; in black_multiple() 409 ISet temp; in black_multiple() [all …]
|
/dports/lang/mono/mono-5.10.1.57/external/api-doc-tools/external/Lucene.Net.Light/src/core/Support/Compatibility/ |
H A D | SortedSet.cs | 23 public class SortedSet<T> : ISet<T>, ICollection 133 #region ISet<T> Implementation 135 void ISet<T>.ExceptWith(IEnumerable<T> other) in ExceptWith() 143 void ISet<T>.IntersectWith(IEnumerable<T> other) in IntersectWith() 148 bool ISet<T>.IsProperSubsetOf(IEnumerable<T> other) in IsProperSubsetOf() 153 bool ISet<T>.IsProperSupersetOf(IEnumerable<T> other) in IsProperSupersetOf() 158 bool ISet<T>.IsSubsetOf(IEnumerable<T> other) in IsSubsetOf() 163 bool ISet<T>.IsSupersetOf(IEnumerable<T> other) in IsSupersetOf() 168 bool ISet<T>.Overlaps(IEnumerable<T> other) in Overlaps() 173 bool ISet<T>.SetEquals(IEnumerable<T> other) in SetEquals() [all …]
|
/dports/math/polymake/polymake-4.5/apps/common/include/ |
H A D | incidence_tools.h | 25 template <typename IMatrix, typename ISet> 26 Set<Int> incident_rows(const GenericIncidenceMatrix<IMatrix>& IM, const ISet& column_set) in incident_rows() 34 template <typename IMatrix, typename ISet> 35 Set<Int> not_incident_rows(const GenericIncidenceMatrix<IMatrix>& IM, const ISet& column_set) in not_incident_rows() 43 template <typename IMatrix, typename ISet> 44 Set<Int> common_rows(const GenericIncidenceMatrix<IMatrix>& IM, const ISet& column_set) in common_rows() 56 template <typename IMatrix, typename ISet> 57 Int find_row(const GenericIncidenceMatrix<IMatrix>& IM, const ISet& column_set) in find_row()
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Collections/tests/Generic/HashSet/ |
H A D | HashSet.Generic.cs | 51 protected override ISet<int> GenericISetFactory() in GenericISetFactory() 75 protected override ISet<SimpleInt> GenericISetFactory() in GenericISetFactory() 90 protected override ISet<EquatableBackwardsOrder> GenericISetFactory() in GenericISetFactory() 110 protected override ISet<int> GenericISetFactory() in GenericISetFactory() 130 protected override ISet<int> GenericISetFactory() in GenericISetFactory() 155 protected override ISet<int> GenericISetFactory() in GenericISetFactory() 175 protected override ISet<int> GenericISetFactory() in GenericISetFactory() 195 protected override ISet<int> GenericISetFactory() in GenericISetFactory()
|
/dports/devel/boost-docs/boost_1_72_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 339 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 341 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 526 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 534 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 339 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 341 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 526 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 534 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/databases/percona57-server/boost_1_59_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/databases/xtrabackup/boost_1_59_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/databases/percona57-client/boost_1_59_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/devel/boost-libs/boost_1_72_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 339 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 341 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 526 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 534 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 345 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 348 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 349 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 350 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 352 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 353 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 362 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 533 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 541 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/devel/hyperscan/boost_1_75_0/libs/icl/test/ |
H A D | test_interval_set_shared.hpp | 339 typedef IntervalSet<T> ISet; in interval_set_element_compare_4_bicremental_types() typedef 341 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet()), true ); in interval_set_element_compare_4_bicremental_types() 342 BOOST_CHECK_EQUAL( is_element_equal( ISet(), ISet(I_D(0,1))), false ); in interval_set_element_compare_4_bicremental_types() 343 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet()), false ); in interval_set_element_compare_4_bicremental_types() 344 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,1)), ISet(I_D(0,1))), true ); in interval_set_element_compare_4_bicremental_types() 346 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(0,5)), ISet(I_D(3,8))), false ); in interval_set_element_compare_4_bicremental_types() 347 BOOST_CHECK_EQUAL( is_element_equal( ISet(I_D(3,8)), ISet(I_D(0,5))), false ); in interval_set_element_compare_4_bicremental_types() 356 BOOST_CHECK_EQUAL( is_element_equal( I_D(0,1)+ISet(I_D(1,2)), ISet(I_D(0,2)) ), true ); in interval_set_element_compare_4_bicremental_types() 526 typedef IntervalSetT ISet; in interval_set_flip_4_bicremental_types() typedef 534 set_a = ISet(I_D(0,2)); in interval_set_flip_4_bicremental_types() [all …]
|
/dports/textproc/opensp/OpenSP-1.5.2/spcat/ |
H A D | spcat_inst.cxx | 56 #pragma define_template ISet<unsigned int> 59 #pragma define(ISet<unsigned int>) 62 template class ISet<unsigned int>; 64 typedef ISet<unsigned int> Dummy_1; 69 #pragma define_template ISet<unsigned short> 72 #pragma define(ISet<unsigned short>) 75 template class ISet<unsigned short>; 77 typedef ISet<unsigned short> Dummy_2;
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
H A D | Lock.hs | 13 import qualified Data.IntSet as ISet 75 earlierVars = ISet.fromList [i+1 .. size cxt - 1] 76 if termVars `ISet.isSubsetOf` earlierVars then return () else do 83 let allowedVars = ISet.union earlierVars (ISet.fromList checked) 85 if termVars `ISet.isSubsetOf` allowedVars then return () else do 87 illegalVars = rigid ISet.\\ allowedVars 90 if ISet.null illegalVars then -- only flexible vars are infringing 96 notAllowedVarsError (unArg lk) (ISet.toList illegalVars)
|