AIMA.Core.Logic.FOL.KB.Data.Chain.Chain C# (CSharp) Method

Chain Class Documentation Datei anzeigen Open project: PaulMineau/AIMA.Net

Chain() public method

public Chain ( ) : System
return System 
        public Chain()
        {
            // i.e. the empty chain
        }

Same methods

Chain::Chain ( List literals ) : System
Chain
Chain
ToString
addLiteral
getContrapositives
getHead
getLiterals
getNumberLiterals
getProofStep
getTail
isEmpty
setProofStep