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
Propositions containing children,
those children as well -- and returns the boolean result; |
List<Proposition> |
getChildren()
Returns an unmodifiableList of
Propositions. |
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)
PropositionPropositions containing children,
those children as well -- and returns the boolean result;evaluate in interface Propositionenvironment - the ExecutionEnvironment that this Proposition is running inpublic void logPropositionResult(Proposition proposition, PropositionResult propositionResult, ExecutionEnvironment environment)
public List<Proposition> getChildren()
Propositions.getChildren in interface PropositionPropositionspublic boolean isCompound()
PropositionProposition can have children.isCompound in interface PropositionProposition can contain child Propositions.Copyright © 2005–2015 The Kuali Foundation. All rights reserved.