Uses of Class
org.eclipse.palamedes.kif.core.ast.KIFLogSent

Packages that use KIFLogSent

org.eclipse.palamedes.gdl.core.ast
org.eclipse.palamedes.kif.core.ast

Uses of KIFLogSent in org.eclipse.palamedes.gdl.core.ast

Subclasses of KIFLogSent in org.eclipse.palamedes.gdl.core.ast

class	Rule A rule is an implication of the form h <= b_1 ∧ ...
class	RuleGeneral
class	RuleGoal
class	RuleLegal
class	RuleNext
class	RuleTerminal

Uses of KIFLogSent in org.eclipse.palamedes.kif.core.ast

Subclasses of KIFLogSent in org.eclipse.palamedes.kif.core.ast

class	KIFConjunction
class	KIFDisjunction
class	KIFImplication
class	KIFNegation