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

I

IllegalOperationException(String) - Constructor for exception openpas.basics.Expressions.IllegalOperationException
 
ImplicateResolver - Class in openpas
 
ImplicateResolver(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>, Iterable<Proposition>, Iterable<Assumption>, PropFactory) - Constructor for class openpas.ImplicateResolver
Create new resolver
ImplicateResolverTester - Class in openpas
 
ImplicateResolverTester() - Constructor for class openpas.ImplicateResolverTester
 
imply(Literal, Literal) - Method in interface openpas.basics.LogicalOps.MaterialImplication
 
imply(Expressions.Expression<LogicalOps.LogicalAnd>, Expressions.Expression<LogicalOps.LogicalOr>) - Method in interface openpas.basics.LogicalOps.MaterialImplication
 
imply(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>, Expressions.SimpleSentence<LogicalOps.LogicalOr, LogicalOps.LogicalAnd>) - Method in interface openpas.basics.LogicalOps.MaterialImplication
 
intValue() - Method in class openpas.utils.MutableDouble
 
isAssumption() - Method in interface openpas.basics.Literal
Returns true is this Literal is an assumption (ie.
isContained(Literal) - Method in interface openpas.basics.Expressions.Expression
Returns true if this literal exists in this expression.
isFalse() - Method in interface openpas.basics.Expressions.Expression
Returns whether this expression evaluates to falsity, ie.
isFalse() - Method in interface openpas.basics.Expressions.SimpleSentence
Returns true if this sentence is a falsity, ie.
isProposition() - Method in interface openpas.basics.Literal
Returns true is this Literal is a proposition (ie.
isSpecial() - Method in interface openpas.basics.Literal
Returns true is this Literal is a special literal (ie.
isTrue() - Method in interface openpas.basics.Expressions.Expression
Returns whether this expression evaluates to a tautology, ie.
isTrue() - Method in interface openpas.basics.Expressions.SimpleSentence
Returns true if this sentence is a tautology, ie.
iterator() - Method in class openpas.utils.ArrayIterable
 
iterator() - Method in class openpas.utils.NullIterable
 
A B C D E F G H I K L M N O P R S T U V W 
Skip navigation links