public final class CompoundProposition extends Object implements Proposition
Proposition
which holds other Propositions and a LogicalOperator
.Constructor and Description |
---|
CompoundProposition(LogicalOperator logicalOperator,
List<Proposition> propositions)
Create a CompoundProposition with the given values
|
Modifier and Type | Method and Description |
---|---|
PropositionResult |
evaluate(ExecutionEnvironment environment)
Evaluates this proposition -- and in the case of
Proposition s containing children,
those children as well -- and returns the boolean result; |
List<Proposition> |
getChildren()
Returns an unmodifiableList of
Proposition s. |
boolean |
isCompound()
Indicates whether this
Proposition can have children. |
void |
logPropositionResult(Proposition proposition,
PropositionResult propositionResult,
ExecutionEnvironment environment) |
public CompoundProposition(LogicalOperator logicalOperator, List<Proposition> propositions)
logicalOperator
- LogicalOperator
to set logicalOperator topropositions
- to set the propositions topublic PropositionResult evaluate(ExecutionEnvironment environment)
Proposition
Proposition
s containing children,
those children as well -- and returns the boolean result;evaluate
in interface Proposition
environment
- the ExecutionEnvironment
that this Proposition
is running inpublic void logPropositionResult(Proposition proposition, PropositionResult propositionResult, ExecutionEnvironment environment)
public List<Proposition> getChildren()
Proposition
s.getChildren
in interface Proposition
Proposition
spublic boolean isCompound()
Proposition
Proposition
can have children.isCompound
in interface Proposition
Proposition
can contain child Proposition
s.Copyright © 2005–2014 The Kuali Foundation. All rights reserved.