Skip navigation links
A B C D E F G H I K L M N O P R S T U V W 

A

addElement(Expressions.Expression<OpE>) - Method in interface openpas.basics.Expressions.SimpleSentence
Adds this expression to this sentence such that #hasElement(Expression) will return true after this.
addHornClause(Iterable<? extends Literal>, Literal) - Method in interface openpas.basics.PAS
Adds the specified horn clause to the PAS instance.
addHornClause(String) - Method in interface openpas.basics.PAS
Parses a given string description for a horn clause and adds it to this PAS instance.
addLiteral(Literal) - Method in interface openpas.basics.Expressions.Expression
Add the given literal to this expression.
addLiteral(Literal) - Method in interface openpas.basics.PAS
Adds an existing literal to this PAS instance.
addLiterals(Iterable<Literal>) - Method in interface openpas.basics.Expressions.Expression
Adds the series of given literals to the expression, functionaly it's the same as calling addLiteral for each literal.
analytics - package analytics
 
and(Literal, Literal) - Method in interface openpas.basics.LogicalOps.LogicalAnd
 
and(Expressions.Expression<LogicalOps.LogicalAnd>, Expressions.Expression<LogicalOps.LogicalAnd>) - Method in interface openpas.basics.LogicalOps.LogicalAnd
 
and(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>, Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in interface openpas.basics.LogicalOps.LogicalAnd
 
andWith(Expressions.Expression<LogicalOps.LogicalAnd>, Expressions.Expression<LogicalOps.LogicalAnd>) - Method in interface openpas.basics.LogicalOps.LogicalAnd
 
andWith(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>, Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in interface openpas.basics.LogicalOps.LogicalAnd
 
ArrayIterable<T> - Class in openpas.utils
 
ArrayIterable(T[]) - Constructor for class openpas.utils.ArrayIterable
 
ArrayIterable.ArrayIterator<T> - Class in openpas.utils
 
ArrayIterator(ArrayIterable<T>) - Constructor for class openpas.utils.ArrayIterable.ArrayIterator
 
AsmtCreator(PropFactory) - Constructor for class openpas.LBImpls_Expressions_Tester.AsmtCreator
 
Assumption - Interface in openpas.basics
 
A B C D E F G H I K L M N O P R S T U V W 
Skip navigation links