| /dports/math/R-cran-terra/terra/R/ |
| H A D | levels.R | 259 addFact <- FALSE functionVar
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.base/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.base/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.base/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.base/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.base/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.base/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/net/ftp/ |
| H A D | FtpDirEntry.java | 275 public FtpDirEntry addFact(String fact, String value) { in addFact() method in FtpDirEntry
|
| /dports/math/z3/z3-z3-4.8.13/src/api/java/ |
| H A D | Fixedpoint.java | 106 public void addFact(FuncDecl<BoolSort> pred, int ... args) { in addFact() method in Fixedpoint
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/java/ |
| H A D | Fixedpoint.java | 106 public void addFact(FuncDecl<BoolSort> pred, int ... args) { in addFact() method in Fixedpoint
|
| /dports/math/cvc3/cvc3-2.4.1/src/search/ |
| H A D | search_impl_base.cpp | 231 void SearchImplBase::addFact(const Theorem& thm) { in addFact() function in SearchImplBase
|
| /dports/audio/fdk-aac/fdk-aac-2.0.2/libPCMutils/src/ |
| H A D | pcmdmx_lib.cpp | 923 FIXP_DBL addFact = fMult(mixFactors[srcCh][ch], factor); in dmxAddChannel() local
1536 SHORT addFact = FX_DMX2SHRT(mixFactors[outCh][inCh]); in getMixFactors() local
|
| /dports/multimedia/handbrake/fdk-aac-2.0.1/libPCMutils/src/ |
| H A D | pcmdmx_lib.cpp | 924 FIXP_DBL addFact = fMult(mixFactors[srcCh][ch], factor); in dmxAddChannel() local
1537 SHORT addFact = FX_DMX2SHRT(mixFactors[outCh][inCh]); in getMixFactors() local
|
| /dports/math/clingo/clingo-5.5.1/libclingo/src/ |
| H A D | gringo_app.cc | 239 void addFact(Potassco::Atom_t uid) override { in addFact() function
|
| H A D | clingocontrol.cc | 754 void ClingoControl::addFact(Potassco::Atom_t uid) { in addFact() function in Gringo::ClingoControl
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
| H A D | theory_core.cpp | 3468 void TheoryCore::addFact(const Theorem& e) in addFact() function in TheoryCore
|
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | logic_program.cpp | 867 void LogicProgram::addFact(const Potassco::AtomSpan& head) { in addFact() function in Clasp::Asp::LogicProgram
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | logic_program.cpp | 903 void LogicProgram::addFact(const Potassco::AtomSpan& head) { in addFact() function in Clasp::Asp::LogicProgram
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | logic_program.cpp | 903 void LogicProgram::addFact(const Potassco::AtomSpan& head) { in addFact() function in Clasp::Asp::LogicProgram
|