| /dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Security.Cryptography.Xml/tests/ |
| H A D | KeyInfoTests.cs | 37 public void AddClause() in AddClause() method in System.Security.Cryptography.Xml.Tests.KeyInfoTests
|
| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | drat_writer.cc | 37 void DratWriter::AddClause(absl::Span<const Literal> clause) { in AddClause() function in operations_research::sat::DratWriter
|
| H A D | drat_proof_handler.cc | 72 void DratProofHandler::AddClause(absl::Span<const Literal> clause) { in AddClause() function in operations_research::sat::DratProofHandler
|
| H A D | clause.cc | 202 bool LiteralWatchers::AddClause(absl::Span<const Literal> literals) { in AddClause() function in operations_research::sat::LiteralWatchers
206 bool LiteralWatchers::AddClause(absl::Span<const Literal> literals, in AddClause() function in operations_research::sat::LiteralWatchers
|
| H A D | sat_inprocessing.cc | 1295 void BoundedVariableElimination::AddClause(absl::Span<const Literal> clause) { in AddClause() function in operations_research::sat::BoundedVariableElimination
|
| H A D | simplification.cc | 161 void SatPresolver::AddClause(absl::Span<const Literal> clause) { in AddClause() function in operations_research::sat::SatPresolver
|
| /dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Security.Cryptography.Xml/src/System/Security/Cryptography/Xml/ |
| H A D | KeyInfo.cs | 120 public void AddClause(KeyInfoClause clause) in AddClause() method in System.Security.Cryptography.Xml.KeyInfo
|
| /dports/shells/ksh93-devel/ast-cc1bca27/src/lib/libtk/generic/ |
| H A D | tkFileFilter.c | 207 static int AddClause(interp, filterPtr, patternsStr, ostypesStr, isWindows) in AddClause() function
|
| /dports/shells/ksh93/ast-93u/src/lib/libtk/generic/ |
| H A D | tkFileFilter.c | 207 static int AddClause(interp, filterPtr, patternsStr, ostypesStr, isWindows) in AddClause() function
|
| /dports/x11-toolkits/tk86/tk8.6.12/generic/ |
| H A D | tkFileFilter.c | 225 AddClause( in AddClause() function
|
| /dports/x11-toolkits/tk87/tk8.7a5/generic/ |
| H A D | tkFileFilter.c | 225 AddClause( in AddClause() function
|
| /dports/shells/ast-ksh/ast-ksh93v/src/lib/libtk/generic/ |
| H A D | tkFileFilter.c | 207 static int AddClause(interp, filterPtr, patternsStr, ostypesStr, isWindows) in AddClause() function
|
| /dports/x11-toolkits/p5-Tk/Tk-804.035/pTk/mTk/generic/ |
| H A D | tkFileFilter.c | 201 static int AddClause(interp, filterPtr, patternsStr, ostypesStr, isWindows) in AddClause() function
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Ide/ |
| H A D | Command.hs | 51 | AddClause constructor
|
| /dports/x11-toolkits/tk85/tk8.5.19/generic/ |
| H A D | tkFileFilter.c | 193 AddClause( in AddClause() function
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/clucene/src/CLucene/queryParser/ |
| H A D | QueryParserBase.cpp | 55 void QueryParserBase::AddClause(CL_NS_STD(vector)<BooleanClause*>& clauses, int32_t conj, int32_t m… in AddClause() function in QueryParserBase
|
| /dports/textproc/clucene/clucene-core-2.3.3.4/src/core/CLucene/queryParser/legacy/ |
| H A D | QueryParserBase.cpp | 63 void QueryParserBase::AddClause(std::vector<BooleanClause*>& clauses, int32_t conj, int32_t mods, Q… in AddClause() function in QueryParserBase
|
| /dports/math/cvc3/cvc3-2.4.1/src/sat/ |
| H A D | xchaff.h | 57 Clause AddClause(std::vector<Lit>& lits) in AddClause() function
|
| /dports/dns/blocky/blocky-0.17/vendor/gorm.io/gorm/ |
| H A D | statement.go | 249 func (stmt *Statement) AddClause(v clause.Interface) { func
|
| /dports/lang/mono/mono-5.10.1.57/external/api-doc-tools/external/Lucene.Net.Light/src/core/QueryParser/ |
| H A D | QueryParser.cs | 434 …protected internal virtual void AddClause(List<BooleanClause> clauses, int conj, int mods, Query q) in AddClause() method in Lucene.Net.QueryParsers.QueryParser
|
| /dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Security.Cryptography.Xml/ref/ |
| H A D | System.Security.Cryptography.Xml.cs | 202 public void AddClause(System.Security.Cryptography.Xml.KeyInfoClause clause) { } in AddClause() method in System.Security.Cryptography.Xml.KeyInfo
|
| /dports/lang/mono/mono-5.10.1.57/external/binary-reference-assemblies/src/v4.5.2/ |
| H A D | System.Security.cs | 681 public void AddClause(System.Security.Cryptography.Xml.KeyInfoClause clause) { } in AddClause() method in System.Security.Cryptography.Xml.KeyInfo
|
| /dports/lang/mono/mono-5.10.1.57/external/binary-reference-assemblies/src/v4.6.1/ |
| H A D | System.Security.cs | 683 public void AddClause(System.Security.Cryptography.Xml.KeyInfoClause clause) { } in AddClause() method in System.Security.Cryptography.Xml.KeyInfo
|
| /dports/lang/mono/mono-5.10.1.57/external/binary-reference-assemblies/src/v4.5/ |
| H A D | System.Security.cs | 681 public void AddClause(System.Security.Cryptography.Xml.KeyInfoClause clause) { } in AddClause() method in System.Security.Cryptography.Xml.KeyInfo
|
| /dports/lang/mono/mono-5.10.1.57/external/binary-reference-assemblies/src/v4.5.1/ |
| H A D | System.Security.cs | 681 public void AddClause(System.Security.Cryptography.Xml.KeyInfoClause clause) { } in AddClause() method in System.Security.Cryptography.Xml.KeyInfo
|