Module logic
Classes
AllExpression
AndExpression
ApplicationExpression
BooleanExpression
EqualityExpression
ExistsExpression
Expression
IffExpression
ImpExpression
IndividualVariableExpression
LambdaExpression
LogicParser
NegatedExpression
OrExpression
ParseException
QuantifiedExpression
StringTrie
SubstituteBindingsI
Tokens
UnexpectedTokenException
Variable
VariableBinderExpression
VariableExpression
Functions
demo
is_indvar
unique_variable
Variables
[hide private]