AIMA.Core.Logic.FOL.Inference.Otter.DefaultImpl.DefaultClauseSimplifier.DefaultClauseSimplifier C# (CSharp) Method

public DefaultClauseSimplifier ( ) : AIMA.Core.Logic.FOL.Inference
return	AIMA.Core.Logic.FOL.Inference

        public DefaultClauseSimplifier()
        {

        }

Same methods

DefaultClauseSimplifier::DefaultClauseSimplifier ( List rewrites ) : AIMA.Core.Logic.FOL.Inference

DefaultClauseSimplifier