A B C D E F G H I J K L M N O P R S T U V W X _

F

F_EnvironmentLookup - Static variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

F_GDL - Static variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

F_ImplicationBody - Static variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

F_ImplicationHeads - Static variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

F_TopLevelNodes - Static variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

fColorTable - Variable in class org.eclipse.palamedes.ui.editor.sourcecode.ColorProvider

filter(IKBFilter) - Method in class org.eclipse.palamedes.kif.core.knowledgebase.KnowledgeBase

Returns a list of KBEntry objects that are satisfying the constrains given by filter.

findStylesheet(String) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetStore

Returns the first enabled template that matches the name.

findStylesheetById(String) - Method in class org.eclipse.palamedes.ui.preferences.stylesheets.StylesheetStore

Returns the first enabled style sheet that matches the given style sheet id.

fInput - Variable in class org.eclipse.palamedes.ui.pages.ast.ASTContentOutlinePage

fInput - Variable in class org.eclipse.palamedes.ui.pages.game.GameContentOutlinePage

fInput - Variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

fInput - Variable in class org.eclipse.palamedes.ui.pages.outline.COPage

fireSelectionChanged(ISelection) - Method in class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage

Fires a selection changed event.

flags - Variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBTreeContentProvider

FluentAdapter - Class in org.eclipse.palamedes.gdl.core.resolver.javaprover

FluentAdapter(Expression) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.javaprover.FluentAdapter

FluentAdapter - Class in org.eclipse.palamedes.gdl.core.resolver.jocular

FluentAdapter(SymbolTable, Term) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.jocular.FluentAdapter

FluentAdapter - Class in org.eclipse.palamedes.gdl.core.resolver.prologprover

FluentAdapter(CompoundTerm) - Constructor for class org.eclipse.palamedes.gdl.core.resolver.prologprover.FluentAdapter

fluentMap - Variable in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState

fluents - Variable in class org.eclipse.palamedes.gdl.core.model.utils.AbstractState

FORM - Static variable in class org.eclipse.palamedes.kif.core.ast.ASTNode

FringeFrame - Class in org.eclipse.palamedes.gdl.core.simulation.strategies

FringeFrame(IGameNode) - Constructor for class org.eclipse.palamedes.gdl.core.simulation.strategies.FringeFrame

fTextEditor - Variable in class org.eclipse.palamedes.ui.pages.ast.ASTContentOutlinePage

fTextEditor - Variable in class org.eclipse.palamedes.ui.pages.game.GameContentOutlinePage

fTextEditor - Variable in class org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

fTextEditor - Variable in class org.eclipse.palamedes.ui.pages.outline.COPage

FULL - Static variable in class org.eclipse.palamedes.ui.utils.SFactory

General Options

FunctionFilter - Class in org.eclipse.palamedes.kif.core.knowledgebase.filter

FunctionFilter() - Constructor for class org.eclipse.palamedes.kif.core.knowledgebase.filter.FunctionFilter

FUNTERM - Static variable in class org.eclipse.palamedes.kif.core.ast.ASTNode