Toggle navigation
Hot Examples
KO
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
검색
홈
AIMA
Core
Logic
FOL
Inference
FOLFCAsk.FCAskAnswerHandler
addProofStep
AIMA.Core.Logic.FOL.Inference.FOLFCAsk.FCAskAnswerHandler.addProofStep C# (CSharp) 메소드
FOLFCAsk.FCAskAnswerHandler 1 문서
파일 보기
프로젝트 열기: PaulMineau/AIMA.Net
addProofStep()
공개
메소드
public
addProofStep
(
ProofStep
step
) :
void
step
ProofStep
리턴
void
public void addProofStep(ProofStep step) { stepFinal = step; }
Same methods
FOLFCAsk.FCAskAnswerHandler::
addProofStep
(
Clause
implication
,
Literal
fact
,
Term>.Dictionary
bindings
) :
void
FOLFCAsk.FCAskAnswerHandler
FCAskAnswerHandler
addProofStep
getProofs
isPartialResultDueToTimeout
isPossiblyFalse
isTrue
isUnknownDueToTimeout
setAnswers