def test_aGoalOrDecomposedWithTwoTasksMayBeAchievableAtOnlyOneBranch():
goal = Goal(Decomposition.OR, "Root")
assert goal.decomposition
task1 = Task("T1")
task2 = Task("T2")
current = Context("C1")
fullContext = []
fullContext.append(current)
qc = QualityConstraint(current, CommonMetrics.SECONDS,
15, Comparison.LESS_OR_EQUAL_TO)
task1.addApplicableContext(current)
task1.setProvidedQuality(current, CommonMetrics.SECONDS, 16)
task2.addApplicableContext(current)
task2.setProvidedQuality(current, CommonMetrics.SECONDS, 11)
goal.addDependency(task1)
goal.addDependency(task2)
goal.addApplicableContext(current)
interp = Interpretation()
interp.addQualityConstraint(qc)
plan = PragmaticPlanning().isAchievable(goal, fullContext, interp)
assert task2 in plan.getTasks()
assert task1 not in plan.getTasks()
def test_C4(mpers):
fullContext = [
mpers.contexts.c1, mpers.contexts.c4, mpers.contexts.c6,
mpers.contexts.c7, mpers.contexts.c8, mpers.contexts.c10,
mpers.contexts.c12
]
tasks = PragmaticPlanning().isAchievable(mpers.rootGoal, fullContext, None)
assert tasks is not None
for task in tasks.getTasks():
found = 0
if task.identifier == "notifyCentralBySMS":
found = 1
if task.identifier == "confirmEmergencyByCall":
found = 1
if task.identifier == "notifyBySoundAlert":
found = 1
if task.identifier == "sendInfoBySMS":
found = 1
if task.identifier == "identifyLocationByVoiceCall":
found = 1
if task.identifier == "accessLocationFromTriangulation":
found = 1
assert found == 0
def test_getApplicableQC():
goal = Pragmatic(Decomposition.AND, "Root")
task = Task("T1")
context = Context("C1")
anotherContext = Context("C2")
fullContext = []
qc = QualityConstraint(context, CommonMetrics.SECONDS,
15, Comparison.LESS_OR_EQUAL_TO)
stricter = QualityConstraint(
anotherContext, CommonMetrics.SECONDS, 10, Comparison.LESS_OR_EQUAL_TO)
task.setProvidedQuality(context, CommonMetrics.SECONDS, 13)
goal.addDependency(task)
goal.addApplicableContext(context)
goal.interp.addQualityConstraint(qc)
goal.interp.addQualityConstraint(stricter)
fullContext.append(context)
assert stricter not in goal.interp.getQualityConstraints(
fullContext)
plan = PragmaticPlanning().isAchievable(goal, fullContext, goal.interp)
assert len(plan.getTasks()) == 1
fullContext.append(anotherContext)
assert qc in goal.interp.getQualityConstraints(
fullContext)
assert stricter in goal.interp.getQualityConstraints(
fullContext)
assert PragmaticPlanning().isAchievable(goal, fullContext, goal.interp) is None
fullContext.remove(context)
assert qc not in goal.interp.getQualityConstraints(
fullContext)
assert stricter in goal.interp.getQualityConstraints(
fullContext)
def test_C3(mpers):
fullContext = [
mpers.contexts.c1, mpers.contexts.c2, mpers.contexts.c3,
mpers.contexts.c4, mpers.contexts.c5, mpers.contexts.c6,
mpers.contexts.c7, mpers.contexts.c8
]
tasks = PragmaticPlanning().isAchievable(mpers.rootGoal, fullContext, None)
assert tasks is not None
for task in tasks.getTasks():
found = 0
if task.identifier == "acceptEmergency":
found = 1
assert found == 0
def test_shouldBeAchievable():
root = Goal(Decomposition.AND, "root")
context = Context("c1")
current = []
current.append(context)
task1 = Task("t1")
task2 = Task("t2")
task1.addApplicableContext(context)
root.addDependency(task1)
root.addDependency(task2)
plan = PragmaticPlanning().isAchievable(root, current, None)
assert plan
assert task2 in plan.getTasks()
def test_C6(mpers):
fullContext = [
mpers.contexts.c1, mpers.contexts.c4, mpers.contexts.c5,
mpers.contexts.c6, mpers.contexts.c7, mpers.contexts.c8,
mpers.contexts.c10, mpers.contexts.c12
]
tasks = PragmaticPlanning().isAchievable(mpers.rootGoal, fullContext, None)
assert tasks is not None
for task in tasks.getTasks():
found = 0
if task.identifier == "notifyCentralBySMS":
found = 1
if task.identifier == "sendInfoBySMS":
found = 1
if task.identifier == "confirmEmergencyByCall":
found = 1
assert found == 0
def test_aGoalWithATaskMayBeAchievable():
goal = Goal(Decomposition.AND, "Root")
task = Task("T1")
current = Context("C1")
fullContext = []
fullContext.append(current)
qc = QualityConstraint(current, CommonMetrics.SECONDS,
15, Comparison.LESS_OR_EQUAL_TO)
interp = Interpretation()
interp.addQualityConstraint(qc)
task.addApplicableContext(current)
task.setProvidedQuality(current, CommonMetrics.SECONDS, 13)
goal.addDependency(task)
goal.addApplicableContext(current)
plan = PragmaticPlanning().isAchievable(goal, fullContext, interp)
assert len(plan.getTasks()) == 1
