AIMA.Core.Logic.FOL.Inference.Proof.ProofStepFoChAlreadyAFact.ProofStepFoChAlreadyAFact C# (CSharp) Méthode

ProofStepFoChAlreadyAFact Class Documentation Afficher le fichier Open project: PaulMineau/AIMA.Net

ProofStepFoChAlreadyAFact() public méthode

public ProofStepFoChAlreadyAFact ( Literal fact ) : System
fact AIMA.Core.Logic.FOL.KB.Data.Literal
Résultat System 
        public ProofStepFoChAlreadyAFact(Literal fact)
        {
            this.fact = fact;
        }
ProofStepFoChAlreadyAFact
ProofStepFoChAlreadyAFact
getJustification
getPredecessorSteps
getProof