C# Class AIMA.Core.Logic.FOL.StandardizeApartInPlace

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

Méthode	Description
standardizeApart ( Chain c, int saIdx ) : int
standardizeApart ( Clause c, int saIdx ) : int

Private Methods

Méthode	Description
collectAllVariables ( Sentence s, List vars ) : void
standardizeApart ( List variables, Object expr, int saIdx ) : int

Method Details

standardizeApart() public static méthode

public static standardizeApart ( Chain c, int saIdx ) : int
c	AIMA.Core.Logic.FOL.KB.Data.Chain
saIdx	int
Résultat	int

standardizeApart() public static méthode

public static standardizeApart ( Clause c, int saIdx ) : int
c	Clause
saIdx	int
Résultat	int