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

Show file Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
standardizeApart ( Chain c, int saIdx ) : int
standardizeApart ( Clause c, int saIdx ) : int

Private Methods

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

Method Details

standardizeApart() public static method

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

standardizeApart() public static method

public static standardizeApart ( Clause c, int saIdx ) : int
c	Clause
saIdx	int
return	int