Package | Description |
---|---|
org.linqs.psl.database.rdbms | |
org.linqs.psl.model.atom | |
org.linqs.psl.model.formula | |
org.linqs.psl.parser |
Modifier and Type | Method and Description |
---|---|
List<Atom> |
Formula2SQL.getFunctionalAtoms() |
Map<Atom,String> |
Formula2SQL.getTableAliases() |
Constructor and Description |
---|
Formula2SQL(Set<Variable> projection,
RDBMSDatabase database,
boolean isDistinct,
Atom lazyTarget)
See above description.
|
Modifier and Type | Class and Description |
---|---|
class |
GroundAtom
An Atom with only
GroundTerms for arguments. |
class |
ObservedAtom
A
GroundAtom with a fixed truth value. |
class |
QueryAtom
An Atom that can be used in a query, but does not have a truth value.
|
class |
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Modifier and Type | Method and Description |
---|---|
Set<Atom> |
Atom.getAtoms(Set<Atom> atoms) |
Modifier and Type | Method and Description |
---|---|
Set<Atom> |
Atom.getAtoms(Set<Atom> atoms) |
Modifier and Type | Method and Description |
---|---|
Set<Atom> |
AbstractBranchFormula.getAtoms(Set<Atom> atoms) |
Set<Atom> |
Negation.getAtoms(Set<Atom> atoms) |
Set<Atom> |
Formula.getAtoms(Set<Atom> atoms) |
Set<Atom> |
Implication.getAtoms(Set<Atom> atoms) |
List<Atom> |
FormulaAnalysis.DNFClause.getNegLiterals() |
List<Atom> |
FormulaAnalysis.DNFClause.getPosLiterals() |
Modifier and Type | Method and Description |
---|---|
Set<Atom> |
AbstractBranchFormula.getAtoms(Set<Atom> atoms) |
Set<Atom> |
Negation.getAtoms(Set<Atom> atoms) |
Set<Atom> |
Formula.getAtoms(Set<Atom> atoms) |
Set<Atom> |
Implication.getAtoms(Set<Atom> atoms) |
Constructor and Description |
---|
DNFClause(List<Atom> posLiterals,
List<Atom> negLiterals) |
DNFClause(List<Atom> posLiterals,
List<Atom> negLiterals) |
Modifier and Type | Method and Description |
---|---|
Atom |
ModelLoader.visitAtom(PSLParser.AtomContext ctx) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.