Here is a list of all struct and union fields with links to the structures/unions they belong to:

### - l -

- lambdaExpr() : CVC3::ValidityChecker
- lcm() : CVC4::Integer
- leExpr() : CVC3::ValidityChecker
- leftShift() : CVC4::BitVector
- lemma() : CVC4::theory::TestOutputChannel
- length() : CVC4::Integer
- LESS : CVC4::Cardinality
- licenseIsGpl() : CVC4::Configuration
- listExpr() : CVC3::ValidityChecker
- loadFile() : CVC3::ValidityChecker
- lock() : CVC4::LogicInfo
- logAnnotation() : CVC3::ValidityChecker
- logicalRightShift() : CVC4::BitVector
- LogicException() : CVC4::LogicException
- LogicInfo() : CVC4::LogicInfo
- logicIsForced() : CVC4::parser::Parser
- logicIsSet() : CVC4::parser::Parser
- lookup() : CVC4::SymbolTable
- lookupArity() : CVC4::SymbolTable
- lookupOp() : CVC3::ValidityChecker
- lookupType() : CVC3::Expr, CVC3::ValidityChecker, CVC4::SymbolTable
- lookupVar() : CVC3::ValidityChecker
- low : CVC4::BitVectorExtract
- lower : CVC4::SubrangeBounds
- ltExpr() : CVC3::ValidityChecker