001    package aima.learning.knowledge;
002    
003    import aima.logic.fol.parsing.ast.Sentence;
004    
005    /**
006     * @author Ciaran O'Reilly
007     * 
008     */
009    public class Hypothesis {
010            private Sentence hypothesis = null;
011            
012            public Hypothesis(Sentence hypothesis) {
013                    this.hypothesis = hypothesis;
014            }
015            
016            /**
017             * <pre>
018             * FORALL v (Classification(v) <=> ((Description1(v) AND Description2(v, Constant1))
019         *                                  OR
020             *                                  (Description1(v) AND Description3(v))
021             *                                 )
022             *          )
023             * </pre>
024             */
025            public Sentence getHypothesis() {
026                    return hypothesis;
027            }
028    }