Toggle navigation
Hot Examples
IT
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Cerca
Home
AIMA
Core
Logic
FOL
Inference
Proof
ProofStepFoChAlreadyAFact
ProofStepFoChAlreadyAFact
AIMA.Core.Logic.FOL.Inference.Proof.ProofStepFoChAlreadyAFact.ProofStepFoChAlreadyAFact C# (CSharp) Method
ProofStepFoChAlreadyAFact Class Documentation
Mostra file
Open project: PaulMineau/AIMA.Net
ProofStepFoChAlreadyAFact()
public
method
public
ProofStepFoChAlreadyAFact
(
Literal
fact
) :
System
fact
AIMA.Core.Logic.FOL.KB.Data.Literal
return
System
public ProofStepFoChAlreadyAFact(Literal fact) { this.fact = fact; }
ProofStepFoChAlreadyAFact
ProofStepFoChAlreadyAFact
getJustification
getPredecessorSteps
getProof