| Package | Description |
|---|---|
| net.sf.tweety.lp.nlp.syntax |
| Modifier and Type | Method and Description |
|---|---|
NLPProgram |
NLPProgram.exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t) |
NLPProgram |
NLPProgram.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map) |
NLPProgram |
NLPProgram.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t,
net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v) |
Copyright © 2018. All rights reserved.